Remy Haemmerle

La información de esta página podría estar desactualizada debido a que Remy Haemmerle no es actualmente miembro del Instituto.

PhD - Universidad Paris Cité, Francia
Antiguo Post-doctoral Researcher

Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

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