page d'accueil   sommaire  

Laurent VAN BEGIN


coordonnées


Laurent VAN BEGIN
tel +32-2-650.58.29, fax +32-2-650.56.09, lvbegin@ulb.ac.be
http://www.ulb.ac.be/di/ssd/lvbegin/
Campus de la Plaine
CP212, boulevard du Triomphe, 1050 Bruxelles




unités de recherche


Méthodes formelles et vérification [Verification and formal methods] (Verif)



theses


Van Begin, L. (2003), ''Efficient Verification of Counting Abstractions for Parametric systems'', Dir. Prof. J-F. Raskin, Département d'Informatique, ULB, Bruxelles., 2003



prix


Prix F.R.S/FNRS ''IBM Belgium'' 2000 pour une thèse de doctorat

Prix F.R.S/FNRS ''IBM Belgium'' 2000 pour un mémoire de fin d'étude