Current position
I am currently a post-doc at the LIENS,
working in the PARKAS team.
Previously, I did my PhD at
Proofs, Programs and Systems laboratory, advised by
Roberto Amadio.
Miscellaneous
I'm particularly interested in:
- functional programming languages (like OCaml, Haskell, …)
- Software verification and certification (using Why, Frama-C, Coq, …)
- π-calculus and its synchronous variants (such as the S-π-calculus) or asynchronous
- logic and typing systems
Ceci n'est pas la page web de Samuel Mimram. Voir plutôt ici.