Hello! I am a maths and computer science PhD student. I currently live in Brussels.
You can email me at antvanmul
then at
then hotmail
then .com
.
My office at KUL is 200A (cs building), 03.127.
I am a PhD student of Dominique Devriese at KU Leuven (KUL). My research is about parametricity for dependent type theories. In particular I would like to obtain an internally parametric dependent type system. To that end, I am visiting the IT University of Copenhagen from mid September to mid November 2021.
Before that, I was working as a research engineer at Inria Paris in the Prosecco team, where the F* Verification Language for Effectful Programs is being developed. My work there was focused on effectful relational program logics and semantics for those, using relative monads and Dijkstra monads. Relational program logics are tools used to build formal proofs that two effectful programs are related. Such logics are useful to certify cryptographic schemes for instance. I did my master internship with Catalin Hritcu in the same team (link).
I hold a bachelor's degree in mathematics from Université Libre de Bruxelles, and a master's degree in mathematical logic and theoretical computer science from Université de Paris.
I am interested in mathematical unifying theories for logic, computer science, algebra and geometry, as well as in those topics themselves. Here is a non-exhaustive list: