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

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