Research in the PPLV group spans theory and practice, including logic, semantics, category theory, (co)algebra, automata theory, language design, program analysis, program verification, systems verification, concurrency, systems modelling, compilation, and theorem proving.

The goal of the group's research is to produce mathematically rigorous concepts and techniques that aid in the construction and analysis of computer and information systems, and to make fundamental contributions to the underlying logic, mathematics, and computer science that supports our work.