Short Bio

Dominique Devriese is an assistant professor in the Software Languages Lab at Vrije Universiteit Brussel, Belgium. He is generally interested in security applications of programming language techniques. More specifically, his research interests include object capability languages and capability-safety, capability machines, secure compilation and fully abstract compilation. He is also interested in (purely) functional programming languages (specifically Haskell, type classes, parser combinators, modular effects …), as well as dependently typed programming languages (specifically Agda, meta-programming, parametricity…). Dominique received a PhD from KU Leuven and is/has been the advisor of more than five PhD students, past and present.