Serge Haddad

Professor, ENS Cachan

• Selected Publications

• A short CV
• Teaching
• Some current projects
  • Projet Européen DISC 2008-2011
  • ANR DOTS 2007-2010
  • ANR CHECKBOUND 2007-2009
  • DIGITEO COCHAT 2009-2012
• The research group from the Ile-de-France region Mefosyloma on verification and applications
• The international conference on Petri nets ICATPN whose I am member of steering committee

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact

• École Normale Supérieure de Cachan
• Centre National de la Recherche Scientifique