Serge Haddad
Professor, ENS Cachan
- A short CV
- Teaching
- Some current or recently ended projects
- ANR IMPRO 2011-2014
- European Project Hycon 2 2010-2014
- European Project Univerself 2010-2013
- DIGITEO COCHAT 2009-2012
- European Project DISC 2008-2011
- ANR DOTS 2007-2010
- ANR CHECKBOUND 2007-2009
-
ICATPN, the Petri nets conference whose I am member
of steering committee
-
,
the research group from the Ile-de-France region on verification and
applications
-
a software project whose I am co-chair
