Menu

Julien CRETIN

PARIS

En résumé

Je m'intéresse au design, à la théorie, et à l'implémentation de langages de programmation. En particulier je me suis spécialisé sur la théorie des systèmes de types. Les systèmes de types permettent de documenter de manière formelle un programme. Cette documentation est automatiquement vérifiée par le type checker.

Mes compétences :
Programmation
Haskell
C
OCaml
Java
C++

Entreprises

  • TrustInSoft - Ingénieur recherche et développement

    2014 - maintenant

  • INRIA - Doctorant en informatique

    Le Chesnay 2010 - 2013 Thèse dans la continuation du stage précédant.
    Étude des coercions vues comme des transformations de typing (type et environnement d'un programme). Cette vision permet de décrire certaines features de systèmes de types.
    Thèse sous la direction de Didier Rémy.
    Publication : On the power of coercion abstraction

  • INRIA - Stagiaire

    Le Chesnay 2010 - 2010 Étude des coercions (transformations de types qui ne modifient pas la représentation) dans les langages fonctionnels. En particulier étude de leur abstraction.
    Stage sous la direction de Didier Rémy.
    Ce stage a débouché sur une thèse au même endroit avec le même directeur.

  • UPenn - Stagiaire

    2009 - 2009 Design et implémentation d'une extension au langage bidirectionnel Boomerang : http://www.seas.upenn.edu/~harmony/
    Stage réalisé sous la direction de Benjamin Pierce avec Nate Foster.
    Publication : Matching lenses: alignment and view update

Formations

Réseau

Annuaire des membres :