page d'accueil   sommaire  
Laurent VAN BEGIN


coordonnées


Faculté des Sciences
Laurent VAN BEGIN
tel 02 650 58 56, fax 02 650 56 09, Laurent.Van.Begin@ulb.ac.be
Campus de la Plaine
CP*, 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