Programming Languages and Verification

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

Academic

Research Student

  • Scott Buckley
  • Pongsak Suvanpong
Back to the top of this page