Specific areas of interest within the Research Group – PSF (Programming Languages, Software Engineering, and Formal Methods)  include probabilistic programming, logic programming, and Web programming languages; compilers; database theory; interactive theorem provers; and automated reasoning.