The PSF (Programming Languages, Software Engineering, and Formal Methods) group spans a wide range of applied and theoretical work into software systems and their underlying mathematical structures. Key themes include the development of novel software and programming language features, the qualitative and quantitative analysis of a software system in order to better understand its properties, along with specification: formally defining the expected behaviour of a system or feature, and verification: formally proving that a system satisfies its intended specification.