IMDEA Software

IMDEA initiative

Home > People

Rémy Haemmerlé

PhD - Université Paris Diderot, France

The information in this page may be outdated, as Rémy Haemmerlé is no longer a member of the Institute.

Former Post-doctoral Researcher

Rémy Haemmerlé
Home Page:

Research Interests

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