Remy Haemmerle

Remy Haemmerle

The information in this page may be outdated, as Remy Haemmerle is currently not a member of the Institute.

PhD - Paris Cité University, France
Former Post-doctoral Researcher


Research Interests

Programming language design and implementation; Constraint Handling Rules; induction & coinduction; abstract interpretation.