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.
- Kiama: Embedding language processing formalisms.
- Skink: Static verification by trace abstraction refinement.
- Pablo Gonzalez (2017)
- Dominik Klumpp (Augsburg University, April 2018 - September 2018)
- Peter Jensen (Aalborg University, Denmark, October 2016 - April 2017)