Sylvain Boulmé
MdC Grenoble-INP


I am co-organizing la journée "Méthodes Formelles" 2021 du GdR Sécurité Informatique (formal methods for security) le 16 mars 2021.


Last works: formally-verified defensive programming with Coq and OCaml


Research


Enseignement (in French)

Lieu: l'Ensimag.

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: 07 Oct 2020