I am a master student in fundamental computer science at ENS Lyon. I am interested in the semantics of programming languages and formal verification. You can find my résumé here.
| Feb 2021 - now |
A parametrized bisimulation for interaction trees Supervised by Yannick Zakowski and Ludovic Henrio CASH Team - ENS de Lyon, France. |
|---|---|
| May - July 2019 |
Extending a Verified SMT Solver for Mixed-Integer Linear Programming Supervised by René Thiemann. Computational Logic Group - University of Innsbruck, Austria. [report] |
| June - July 2018 |
Rethinking OCaml Recursive Values Supervised by Gabriel Scherer Parsifal team - Inria Saclay, France. [article] |
A Practical Mode System for Recursive Definitions
Alban Reynaud, Gabriel Scherer and Jeremy Yallop, POPL 2021
Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL
Ralph Bottesch, Max W. Haslbeck, Alban Reynaud and René Thiemann, NFM 2020