Research in the PPLV group spans theory and practice, including logic, semantics, language design, program analysis, systems verification and systems modelling.