Hugo Herbelin

Researcher at Inria Paris, Picube team, within the PPS group of the IRIF lab

E-mail: Hugo.Herbelin at inria.fr
Office : number 3029, 3th floor, Building Sophie Germain, 9 Place Aurélie Nemours, 75013 Paris (at the level of 56 avenue de France)
Surface mail: Laboratoire IRIF, Université Paris Diderot, Bâtiment Sophie Germain, Case 7014, 75205 Paris Cedex 13, France
Phone: +33 (0) 1 57 27 90 87

Main research interests

My research globally centres around the syntactic unity between proofs and programs, with applications to:
  • Proof theory: classical logic, type theory, computational interpretations, ...
  • Principles of programming languages: control operator, delimiters, abstract machines, side effects, call-by-need, type systems, ...
  • Proof assistants: development of the Coq system

Global warming

   Stop global warning Already +1.9ºC of human-induced warming in Metropolitan France: To overcome
climatic procrastination, a blog to know more, discuss, and act about global warming (in French)
Theoretical Computer Scientists for Future A manifesto for sustainable research in theoretical computer science