Oliver Hermant
Tagline/Affiliation
MINES ParisTech, PSL Research University
Links
Session(s)
- Show [all] in program.
- A Taste of Sound Reasoning
» Paper Presentation - day:3 - 15:30
» Location: Main venue (P1)
Olivier Hermant is a researcher at MINES ParisTech since 2012. His work is oriented towards automated reasoning, rewriting, type and proof systems and formalization of programming languages.