Serge Haddad
Professor, ENS Paris-Saclay
Mail: serge.haddad
Phone: +33 (0)1 81 87 54 36
Office: 3S59, Bâtiment ENS - Nord
Laboratoire Méthodes Formelles (LMF)
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences • 91190 Gif-sur-Yvette, France
- Selected publications (and also on DBLP, Google Scholar and HAL)
- A short CV
- Teaching (transfert en cours)
- Some projects since my arrival at LSV and then at LMF
- ANR BISOUS 2023-2027
- ANR MAVeriQ 2021-2025
- Procope LeaRNNIfy 2020-2021
- ERC EQualIS 2015-2019
- 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
- Mefosyloma, the research group from the Ile-de-France region on verification and applications
- CosyVerif, a software project whose I am co-chair
- A talk at Seminar 68NQRT, Rennes
- A talk at project ANR MAVeriQ, Paris
- A talk at MSR 2019, Angers
- A talk at MSR 2017, Marseille and at Inria Rennes in February 2018
- A talk at Centre Fédéré de Vérification, Bruxelles
- A talk at IDC 16
- A talk at VECOS 16 (also at GT-Verif 2014, at seminar SASEFOR and at University of Torino)
- A talk (extended version) at Inria Rennes
- A talk at EJCIM 15
- Forthcoming events (in which I am involved)