Current position
I am currently working for EDF S.A. (french producer of electricity)
in IT services department (CSP-IT) as a member of an engineering team dedicated to HPC systems (CCN-HPC). Some
of our tools are published on GitHub.
I used to be a post-doc at the LIENS,
working in the PARKAS team.
I did my PhD at
Proofs, Programs and Systems laboratory, advised by
Roberto Amadio.
Miscellaneous
I'm particularly interested in:
- HPC (tools and technologies), Big Data, Cloud computing technologies and Virtualization
- 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.