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 Thierry5603Thierry.Massart@ulb.ac.be
 • RASKIN Jean-François5592Jean-Francois.Raskin@ulb.ac.be

Membres Académiques :


 • FILIOT Emmanuel5827Emmanuel.Filiot@ulb.ac.be
 • GEERAERTS Gilles5596Gilles.Geeraerts@ulb.ac.be
 • HERNALSTEEN ChristianChristian.Hernalsteen@ulb.ac.be
 • SERVAIS Frédéric2750Frederic.Servais@ulb.ac.be

Membres Scientifiques :


 • GANTY Pierre+32-2-650.58.57pganty@ulb.ac.be
 • VAN BEGIN Laurent+32-2-650.58.29lvbegin@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