معرفی
Dominique Devriese is an Associate Professor at the Department of Computer Science, Faculty of Engineering Science, KU Leuven. They serve as a promotor for multiple research projects focused on type theory, formal verification, and secure software systems.
- Faculty: Engineering Science
- Department: Computer Science
- Academic Rank: Associate Professor
Their research explores multimodal dependent type theory, parametricity, logical frameworks like Agda, and secure compilation principles. Projects include formalizing RISC-V security guarantees, developing BiSikkel for multimode logic, and advancing substitution algorithms for type systems.
Recent work demonstrates trends in formal methods, programming language theory, and hardware-supported security, with a strong emphasis on mathematical foundations and tool implementation.
- PhD Student Supervision: Joris Ceulemans
- Collaborations: Andreas Nuyts, Loes Deferme
Active in academic governance, Dominique is a member of the Council of the Faculty of Engineering Science and POC Computerwetenschappen.
