Inventaire
Site en anglais

Méthodes formelles et vérification (Verif)

Faculté des Sciences | Informatique

(Code: ULB512)



Responsables :


 • MASSART Thierry J.2742Thierry.J.Massart@ulb.ac.be
 • MASSART Thierry+32-2-650.56.03Thierry.Massart@ulb.ac.be
 • RASKIN Jean-François+32-2-650.55.92Jean-Francois.Raskin@ulb.ac.be

Membres Académiques :


 • FILIOT Emmanuel+32-2-650.58.27Emmanuel.Filiot@ulb.ac.be
 • GEERAERTS Gilles+32-2-650.55.96Gilles.Geeraerts@ulb.ac.be
 • HERNALSTEEN ChristianChristian.Hernalsteen@ulb.ac.be
 • SERVAIS Frédéric+32-2-650.27.50Frederic.Servais@ulb.ac.be
 • VAN BEGIN Laurent+32-2-650.58.29lvbegin@ulb.ac.be

Membre Scientifique :


 • GANTY Pierre+32-2-650.58.57pganty@ulb.ac.be

Membres Autres :


 • KALYON Gabriel+32-2-650.55.90gkalyon@ulb.ac.be
 • MAHSA SHIRMOHAMMADI+32-2-650.56.24Mahsa.Shirmohammadi@gmail.com