Inventaire
Site en français

Verification and formal methods (Verif)

Faculty of Sciences | Computer Science

(Code: ULB512)



List of collaborations


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

  • Prof. Marcin Jurdzinski, University of Warwick(United Kingdom (the))

  • Dr. Bruno Dutertre :, Stanford Research Institute(United States (the))

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

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

  • Dr. Laurent Doyen, ENS Cachan(France)

  • Prof. Joël Ouaknine, Oxford University(United Kingdom (the))

  • 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(Spain)

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

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

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

  • Hervé Marchand, INRIA Bretagne(France)