===== Sylvain Schmitz ===== Professeur d'[[http://www.informatique.univ-paris-diderot.fr|informatique]], [[https://u-paris.fr|Université Paris Cité]]\\ Membre de l'[[https://www.irif.fr/|IRIF]] ; responsable de l'équipe [[..:..:equipes:automates:index|automates et applications]] et membre de l'équipe [[..:..:equipes:verif:index|modélisation et vérification]] {{ https://www.irif.fr/~schmitz/me.jpg?180 |Photo de Sylvain Schmitz}} | {{fa>address-card}} | adresse | [[https://goo.gl/maps/PrY68nDiGTPsx4pa8|IRIF]], casier 7014\\ Université Paris Cité\\ 75205 Paris Cedex 13, France | | {{fa>home}} | bureau | 3048 | | {{fa>phone}} | téléphone | +33 (0)1 57 27 92 16 | | {{fa>envelope}} | email | [[email:sylvain.schmitz@irif.fr|sylvain.schmitz@irif.fr]] |

===== Recherche ===== * centres d'intérêt\\ logique, beaux pré-ordres, vérification, langages formels, théorie des bases de données * [[https://www.irif.fr/~schmitz/talks|exposés]] * [[https://www.irif.fr/~schmitz/papers|publications]] () * doctorants * [[https://www.irif.fr/~buffiere/|Hector Buffière]] (2024–présent) ; co-encadré avec [[http://madezhi.free.fr/|Patrice Ossona de Mendez]] * [[http://www.lsv.fr/~lopez/|Aliaume Lopez]] (2019–2023) ; co-encadré avec [[http://www.lsv.fr/~goubault|Jean Goubault-Larrecq]] ; soutenance le 12 septembre 2023 * [[http://www.lsv.fr/~lick|Anthony Lick]] (2016–2019) ; co-encadré avec [[https://people.irisa.fr/David.Baelde/|David Baelde]] ; soutenance le 8 juillet 2019 * [[https://www.centreborelli.fr/halfon-simon/|Simon Halfon]] (2015–2018) ; co-encadré avec [[http://www.lsv.fr/~phs|Philippe Schnoebelen]] ; soutenance le 29 juin 2018 * principaux financements

: IUF junior (2018–2023)
: ANR BraVAS (2017–2020)
: ANR PRODAQ (2015–2019)
: ANR ReacHard (2011–2014)
: ANR AVeriSS (2007–2009)

* activités * comités de pilotage de STACS (co-chair), du GT-Verif * comités de programme des conférences CSL'26, CSL'25 (co-chair), FSCD'24, LICS'22, RP'20 (co-chair), MFCS'20, MOVEP'20, NAACL-HLT'19 (theory and formalisms), LICS'18, Petri nets'17, STACS'17, et des ateliers RP'15, RP'12, CSLP'12, LDTA'12, LDTA'11, TAG+10, TAG+9 * comités d'organisation de ICALP'22, RP'20 (chair), Highlights 2014 (co-chair), GT-Vérif 2014, GT-Vérif 2013 (co-chair), CIAA'05 /*

*/ ===== Enseignements ===== * [[https://www.informatique.univ-paris-diderot.fr/formations/licences/informatique-generale/accueil|Licence d'informatique]] * travaux dirigés d'[[https://moodle.u-paris.fr/course/view.php?id=1622|internet et outils]] de 1e année * cours de [[https://www.irif.fr/~schmitz/teach/2024_lo5|logique]] de 3e année * [[https://wikimpri.dptinfo.ens-cachan.fr/|Master parisien de recherche en informatique (MPRI)]] * cours d'[[https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-9-1|aspects algorithmiques de la théorie des beaux pré-ordres]] de 2e année * [[https://master.math.u-paris.fr/annee/m2-lmfi/|Master de logique mathématique et fondations de l'informatique (LMFI)]] * cours de [[https://master.math.u-paris.fr/modules/m2lmfi-mcfs/|théorie des modèles finis]] de 2e année * [[https://sciences.sorbonne-universite.fr/formation-sciences/masters/preparation-lagregation/agregation-externe-dinformatique|Préparation à l'agrégation d'informatique]] * cours de logique et leçons Voici du [[https://www.irif.fr/~schmitz/teach|contenu pédagogique]] des années précédentes. == Autres activités au sein de l'UFR informatique == * président du [[https://www.informatique.univ-paris-diderot.fr/ufr/conseil_scientifique|conseil scientifique]] de l'[[https://www.informatique.univ-paris-diderot.fr/accueil|UFR informatique]] depuis 2021 (y compris correspondant HDR, responsable des CoS, etc.) * co-directeur du [[https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=partenaires|Master parisien de recherche en informatique (MPRI)]] depuis 2024