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.
- Kiama: Embedding language processing formalisms.
- Skink: Static verification by trace abstraction refinement.
- Scott Buckley
- Pongsak Suvanpong