Programming Languages and Verification

Programming Languages and Verification

Programming Languages and Verification Group

The Programming Languages and Verification Group (PLV) conducts research in all aspects of modern programming languages and systems. We focus on research that builds on theoretical foundations to construct real world software systems. These interests encompass: programming language theory, design and implementation; tools and environments for programming languages; and program specification and verification.

Projects

  • Kiama: Embedding language processing formalisms.
  • Skink: Static verification by trace abstraction refinement.

People

Academics

Research Students

Past Members

  • Pablo Gonzalez (2017)

Visitors

  • Dominik Klumpp (Augsburg University, April 2018 - September 2018)
  • Peter Jensen (Aalborg University, Denmark, October 2016 - April 2017)
Back to the top of this page