Antoine Van Muylder


Who am I

Hello! I am a maths and computer science student. I come from Brussels and (used to) live in Paris. You can email me at antvanmul then at then hotmail then .com

Studies & research positions

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 have also been completing some of the courses of the Paris master in "mathématiques fondamentales" in algebraic geometry and algebraic topology.

I did my master internship with Catalin Hritcu at Inria Paris in the Prosecco team, where the F* Verification Language for Effectful Programs is being developed. The purpose of the internship was to devise modular monadic predicate semantics for relational program logics as it has been done for unary program logics here thanks to Dijkstra monads.

I currently hold a research engineer position in the same team. I try to instantiate the aforementioned relational program logic framework in order to formally verify cryptographic schemes in the Coq proof assistant.

Next year I will start a PhD with Dominique Devriese at Vrije Universiteit Brussel (VUB). I will be studying internal parametricity for dependent type theories.

Publications

Interests

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:

At some point I would like to look into physics (either quantum mechanics or relativity), and information theory. Feel free to send me nice pointers. I am also interested in epistemology of mathematics.