Formal Methods and Verification at ULB   Computer Science Department at ULB  

Emmanuel Filiot

Ph.D., INRIA Lille (France), 2008.

Post-doc researcher at ULB in the Move team. Funded by FNRS. Now assistant professor at Université Paris-Est Créteil (Paris 12) in LACL lab.

New LACL Homepage.

Département d'Informatique
Université Libre de Bruxelles
Bld du Triomphe CP 212
1050 Brussels, Belgium

Building: N.O., Office: N8.110
Phone: +32 2 650.64.64, Fax: +32 2 650.56.09
Email: efiliot at ulb dot ac dot be



INFO-F-302: la page du cours d'Informatique Fondamentale.