La Tanière de Rémy

… Rémy's lair for unsuspecting visitors

About

I prepared my Ph.D. under the supervision of François Fages at INRIA, Rocquencourt, France and obtained my degree from "Université Paris Diderot" in January 2008. From January 2008 to March 2014 I was post-doctoral researcher within the CLIP Lab at "Universidad Politécnica de Madrid", Spain. Since April 2014 I joined the IMDEA software Institute as post-doctoral fellow.

I am primarily interested in studying formal properties of logical programming languages with constraints, and more specifically on CHR (Constraint Handling Rules) a high-level rules-based languages. In particular I improved known result about confluence and logical completeness of this language. I am also interesting in compilation and static analysis applied to logical languages.

Aside theoretical work, I am one of the main maintener of the Ciao System, a multi-paradigm programming language developed at the CLIP Lab. I am also involved in the development of several of the Ciao standard libraries such as the Finite Domain Constraint Solver, Constraint Handling Rules, Coinductive Logic Programming, ...

Service

Publications

Contact

Rémy Haemmerlé
IMDEA Software Institue
Campus Montegancedo UPM S/N
28223 Pozuelo de Alarcón, Madrid
SPAIN

e-mail: Remy (dot) Haemmerle (at) imdea (dot) org

Extra Links