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`

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.

- Maillard, K., Hriţcu, C., Rivas, E., & Van Muylder, A. (2019). The next 700 relational program logics. Proceedings of the ACM on Programming Languages, 4(POPL), 1-33. (PDF)

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:

- Type theory, dependent type theory, computational trinitarianism
- Category theory
- Syntax and Semantics
- Homotopy Type Theory
- Side effects in programs
- Algebraic geometry, schemes, toposes, Stone-like dualities
- Parametricity
- Computability theory
- Proof assistants
- Higher algebra

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.