## 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

- CHR 2014, Int'l Workshop on Constraint Handling Rules (chair).
- ICLP 2014, Int'l Conference on Logic Programming (PC).
- CMCS'14, Int'l Workshop on Coalgebraic Methods in Computer Science (PC).
- WLPE'13, Int'l Workshop on Logic-based methods in Programming Environments (chair).
- CHR 2013, Int'l Workshop on Constraint Handling Rules (PC).
- LOPSTR 2012, Int'l Symposium on Logic-Based Program Synthesis and Transformation (PC).
- CHR 2012, Int'l Workshop on Constraint Handling Rules (PC).
- CICLOPS 2012, Int'l Colloquium on Implementation of Constraint and LOgic Programming Systems (PC).
- CHR 2011, Int'l Workshop on Constraint Handling Rules (PC).
- CHR 2010, Int'l Workshop on Constraint Handling Rules (PC).
- CHR 2009, Int'l Workshop on Constraint Handling Rules (PC).
- CICLOPS 2008, Int'l Colloquium on Implementation of Constraint and LOgic Programming Systems (PC).

## Publications

- Rémy Haemmerlé. On Combining Backward and Forward Chaining in Constraint Logic Programming. To appear in proceedings of the 16th Int'l Symposium on Principles and Practice of Declarative Programming: PPDP 2014.
- Gregory J Duck, Rémy Haemmerlé Martin Sulzmann. On Termination, Confluence and Consistent CHR-based Type Inference. In Theory and Practice of Logic Programming, vol. 14 (4-5) (ICLP 2014 Special Issue).
- Rémy Haemmerlé. Diagrammatic Confluence for Constraint Handling Rules. In Theory and Practice of Logic Programming, vol. 12 (4-5) (ICLP 2012 Special Issue).
- Jose F. Morales, Rémy Haemmerlé, Manuel Carro, and Manuel Hermenegildo. Lightweight Compilation of (C)LP to JavaScript. In Theory and Practice of Logic Programming, vol. 12 (4-5) (ICLP 2012 Special Issue).
- Rémy Haemmerlé. Coinductive Proofs over Streams as CHR Confluence Proofs. In proceedings of the 9th Workshop on Constraint Handling Rules: CHR 2012.
- Emilio Gallego, Rémy Haemmerlé, Jose F. Morales, and Manuel Hermenegildo. The Ciao CLP(FD) Library. In proceedings of the 12th Int'l Colloquium on Implementation of Constraint and LOgic Programming Systems: CICLOPS 2012
- Jose F. Morales, Manuel Hermenegildo, and Rémy Haemmerlé. Modular Extensions for Modular (Logic) Languages. To appear in post-proceedings of the 21st Int'l Symposium on Logic-Based Program Synthesis and Transformation: LOPSTR 2011.
- Rémy Haemmerlé, Pedro López García, and Manuel Hermenegildo. CLP Projection for Constraints Handling Rules. In proceedings of the 13th Int'l Symposium on Principles and Practice of Declarative Programming: PPDP 2011.
- Rémy Haemmerlé. (Co)-Inductive Semantics for Constraint Handling Rules. In Theory and Practice of Logic Programming, vol. 11 (4-5) (ICLP 2011 Special Issue).
- Rémy Haemmerlé. Observational Equivalences for Linear Logic Concurrent Constraint Languages. In Theory and Practice of Logic Programming, vol. 11 (4-5) (ICLP 2011 Special Issue).
- Rémy Haemmerlé and Hariolf Betz. Verification of Constraint Handling Rules using Linear Logic Phases Semantics. In proceedings of the 5th Workshop on Constraint Handling Rules: CHR 2008.
- Rémy Haemmerlé. Fermetures et Modules dans les Langages Concurrents avec Contraintes fondés sur la Logique Linéaire, PhD thesis (in French). Université Paris Diderot, France. 17 January 2008. slides
- Rémy Haemmerlé, François Fages, and Sylvain Soliman. Closures and Modules within Linear Logic Concurrent Constraint Programming. In proceedings of the 27th Int'l Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2007.
- Rémy Haemmerlé and François Fages. Abstract Critical Pairs and Confluence of Binary Relation. In Proceeding of the 18th Int'l Conference on Rewriting Techniques and Applications: RTA 2007.
- Rémy Haemmerlé and François Fages. Modules for Prolog Revisited. In proceedings of 22nd Int'l Conference of Logic programming: ICLP06.
- Rémy Haemmerlé. SiLCC is Linear Concurrent Constraint Programming (ICLP 2005 Doctoral Consortium). In proceedings of the 21st Int'l Conference of Logic programming: ICLP 2005.

## 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