Programming Languages and Verification

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

• Franck Cassez
• Annabelle McIver
• Matthew Roberts
• Anthony Sloane
• Dominic Verity

Past Members

• Pablo Gonzalez (2017)
• Scott Buckley (student)
• Pongsak Suvanpong (student)
• Natasha Fernandes (student)
• Sarah Heimlich (student)

Visitors

• Dominik Klumpp (Augsburg University, April 2018 - September 2018)
• Peter Jensen (Aalborg University, Denmark, October 2016 - April 2017)