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, FranceFormer Post-doctoral Researcher
Research Interests
Programming language design and implementation; Constraint Handling Rules; induction & coinduction; abstract interpretation.