Sylvain Boulmé
MdC Grenoble-INP



Last works: certifying programs by combining Coq and OCaml


Research


Enseignement (in French)

Lieu: l'Ensimag.
  • Projet GL (Ensimag 1A Apprentissage et Ensimag 2A).
  • Grammaires et compilation (Ensimag 1A Apprentissage).
  • Théorie des langages (Ensimag 1A).
  • Sémantique et Analyse de programmes (Ensimag 2A). Frama-C Tutorial

Contact

  • Mail: Sylvain.Boulme@univ-grenoble-alpes.fr
  • Address:
    VERIMAG, Bâtiment IMAG
    Université Grenoble Alpes
    700 avenue Centrale
    Domaine Universitaire - 38401 St Martin d’Hères
    FRANCE
  • Office: 201 (2nd floor)
  • Phone: +33 4 57 42 22 06

Last modification: 19 Jul 2019