La Tanière de Rémy

… Rémy's lair


I wrote my Ph.D. under the supervision of François Fages at INRIA, Rocquencourt, France and obtained my degree from Paris Diderot University in January 2008. From January 2008 to March 2014, I was a post-doctoral researcher in the CLIP Lab at Technical University of Madrid, Spain. Since April 2014, I joined the IMDEA software Institute as postdoctoral fellow.

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

Aside from theoretical work, I am one of the main maintainer of the Ciao System, a multiparadigm programming language developed at the CLIP Lab. I am also involved in the development of several of the Ciao's standard libraries, such as the Finite Domain Constraint Solver, Constraint Handling Rules, Coinductive Logic Programming, and others.




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

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

Extra Links