Serge Haddad
Professeur émérite, ENS Paris-Saclay
- Quelques publications (et aussi sur DBLP, Google Scholar et HAL)
- Un bref CV
- Enseignements
- Quelques projets depuis mon arrivée au LSV puis au LMF
- PEPR SAIF 2023-2027
- ANR BISOUS 2023-2027
- ANR MAVeriQ 2021-2025
- Procope LeaRNNIfy 2020-2021
- ERC EQualIS 2015-2019
- ANR IMPRO 2011-2014
- Projet Européen Hycon 2 2010-2014
- Projet Européen Univerself 2010-2013
- DIGITEO COCHAT 2009-2012
- Projet Européen DISC 2008-2011
- ANR DOTS 2007-2010
- ANR CHECKBOUND 2007-2009
ICATPN, la conférence internationale sur les réseaux de Petri
dont je suis membre du steering committee
,
le groupe de recherche francilien sur la vérification et ses
applications
un projet logiciel dont je suis co-responsable- Une présentation au Séminaire 68NQRT, Rennes
- Une présentation au projet ANR MAVeriQ, Paris
- Une présentation à MSR 2019, Angers
- Une présentation à MSR 2017, Marseille et à Inria Rennes en février 2018
- Une présentation au Centre Fédéré de Vérification, Bruxelles
- Une présentation à IDC 16
- Une présentation à VECOS 16 (précédemment au GT-Verif 2014, au séminaire SASEFOR et à l'Université de Turin)
- Une présentation (version étendue) à Inria Rennes en septembre 2015
- Une présentation à EJCIM 15
- Prochains événements (dans lesquels je suis impliqué)
- Pour en savoir plus
