Christophe CALVÈS

En résumé

Entreprises

• Université de Lorraine - Enseignant-Chercheur (ATER)

  Nancy 2012 - 2014 * Missions
  - Réalisation en Java et Scala d'une bibliothèque de réécriture pour :
  - Transformation de programmes/données.
  - Spécification et validation sémantiques. ;
  - Enseignements d'informatique en MIAGE et école d'ingénieur ESSTIN.
  * Compétences acquises : Programmation fonctionelle et objet avancée : usage régulier et maîtrisé de scalaz et initié à
  shapeless. Encadrement et enseignements.

• INRIA - Chercheur (Post-Doc)

  Le Chesnay 2010 - 2012 * Mission : Spécification formelle de la sémantique du language d'ingénierie dirigée par les modèles (IDM) Kermeta. ;
  * Compétences acquises : UML, textbfEclipse Modeling, Transformation de modèles.

• Université Pierre et marie Curie - Chercheur (Post-Doc)

  2010 - 2010

Formations

• King'S College London (Londres)

  Londres 2006 - 2010 Doctorat
  
  Compétences acquises: Techniques de transformation, Réécriture, Haskell, ...

• Ecole Normale Supérieure

  Cachan 2002 - 2005 Master Parisien de Recherche en Informatique
  
  Compétences acquises: Méthodes formelles, Programmation fonctionelle, Preuve de programmes, Spécifications, ...

Réseau

Pas de contact professionnel