Inventaire
Site en anglais

Méthodes formelles et vérification (Verif)

Faculté des Sciences | Informatique

(Code: ULB512)



Liste des collaborations


  • Prof. Kim G. Larsen, Aalborg University (Danemark)

  • Prof. Marcin Jurdzinski, University of Warwick (Royaume-Uni)

  • Dr. Bruno Dutertre :, Stanford Research Institute (États-Unis)

  • Prof. Pierre-Yves Schobbens :, FUNDP (Belgique)

  • Prof. Michael Leuschel :, Heinrich-Heine-Universität (Allemagne)

  • Dr. Laurent Doyen, ENS Cachan (France)

  • Prof. Joël Ouaknine, Oxford University (Royaume-Uni)

  • Dr. Franck Cassez :, Ecole Centrale de Nantes (France)

  • Prof. Emmanuel Jeannot :, INRIA Lorraine (France)

  • Prof. Pierre-Alain Reynier, Université de Provence (France)

  • Prof. Pierre Ganty, Fundación IMDEA Software (Espagne)

  • Prof. Yassine Lakhnech :, Université Joseph Fourier (France)

  • Prof. Giorgio Delzanno :, University of Genova (Italie)

  • Hubert Garavel :, INRIA Rhône-Alpes (France)

  • Hervé Marchand, INRIA Bretagne (France)