/enri-thumbnails/careeropportunities1f0caf1c-a12d-479c-be7c-3c04e085c617.tmb-mega-menu.jpg?Culture=en&sfvrsn=d7261e3b_1)
/cradle-thumbnails/research-capabilities1516d0ba63aa44f0b4ee77a8c05263b2.tmb-mega-menu.jpg?Culture=en&sfvrsn=1bc94f8_1)
/banner-4mobile-psf2.jpg?sfvrsn=9b08271d_0)
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.