Inventaire
Site en français

Verification and formal methods (Verif)

Faculty of Sciences | Computer Science

(Code: ULB512)



Persons in charge :


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

Academic members :


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

Scientific member :


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

Other members :


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