Inventaire

Université Libre de Bruxelles

Site en anglais

Méthodes formelles et vérification (Verif)

Faculté des Sciences | Informatique

(Code: ULB512)

Responsables :

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

Membres Académiques :

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

Membre Scientifique :

• GANTY Pierre

+32-2-650.58.57

Membres Autres :

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