Jesús Mauricio Chimento
My research interests focus on studying Formal Methods, Certified Programming and Functional Programming. Regarding Formal Methods, I am keen on studying Program Specification and Program Verification, in particular Theorem Proving and Runtime Verification.
PhdStudent alumni
Simon Robillard
first-order theorem proving and its applications to program verification, more specifically my research interests are: Automated reasoning, Theorem proving, program verification, Type theory and Parallel programming.
PhdStudent alumni
Andreas Lööw
I am working in interactive theorem proving (HOL4, to be precise) and hardware verification.
PhdStudent
Oskar Abrahamsson
Together with Magnus Myreen and Andreas Lööw, Alejandro Gomez, my research focuses on CakeML and verified compilation stack.
PhdStudent
Alejandro Gómez Londoño
Together with Magnus Myreen and Andreas Lööw, Oskar Abrahamsson, my research focuses on CakeML and verified compilation stack.
PhdStudent
Claudia Cauli
My interests fall into the field of theoretical computer science, including all those areas that make use of mathematical techniques and logics, like formal methods, automata theory, computability theory, and verification.
PhdStudent
Raúl Pardo
My research is focused on developing rigorous techniques to design, analyse and build software to protect online privacy. My interests lie at the intersection of formal methods, online privacy and computer security. Currently, I am working in the following topics:Formal models for privacy, Verification of smart contracts, Algorithm transparency
PhdStudent alumni
Yu-Ting Jeff Chen
I work on automated program verification using Intermediate Verification Languages.
PhdStudent