===== 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 * [[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 [[http://www.lsv.fr/~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, du GT-Verif * comités de programme des conférences 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 ===== * [[http://www.informatique.univ-paris-diderot.fr/wiki/doku.php/enseignement/licences/licence-informatique|Licence d'informatique]] * cours/travaux dirigés d'[[https://moodle.u-paris.fr/course/view.php?id=1636|outils logiques]] de 2e année * cours de [[https://www.irif.fr/~schmitz/teach/2023_lo5|logique]] de 3e année * [[http://www.informatique.univ-paris-diderot.fr/wiki/doku.php/enseignement/les-masters|Master d'informatique]] * cours et travaux dirigés d'[[https://www.irif.fr/~schmitz/teach/2023_aaa7/|automates avancés et applications]] en 1e année * travaux dirigés de [[https://moodle.u-paris.fr/course/view.php?id=10715|bases de données avancées]] en 1e année * [[https://licence.math.univ-paris-diderot.fr/|Licence de mathématiques]] * travaux dirigés de [[https://moodle.u-paris.fr/course/view.php?id=2313|bases de données]] en 3e 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 ; leçons Voici du [[https://www.irif.fr/~schmitz/teach|contenu pédagogique]] des années précédentes.