Inventaire

Université Libre de Bruxelles

Site en français

Verification and formal methods (Verif)

Faculty of Sciences | Computer Science

(Code: ULB512)

Persons in charge :

• 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

Academic members :

• 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

Scientific member :

• GANTY Pierre

+32-2-650.58.57

Other members :

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