===== Sylvain Schmitz ===== Professor of [[http://www.informatique.univ-paris-diderot.fr|computer science]], [[https://u-paris.fr|Université Paris Cité]]\\ Works at [[https://www.irif.fr/|IRIF]]; head of the [[..:..:equipes:automates:index|automata and applications]] team and member of the [[..:..:equipes:verif:index|modelling and verification]] team {{ https://www.irif.fr/~schmitz/me.jpg?180 |Photo of Sylvain Schmitz}} | {{fa>address-card}} | address | [[https://goo.gl/maps/PrY68nDiGTPsx4pa8|IRIF]], case 7014\\ Université Paris Cité\\ 75205 Paris Cedex 13, France | | {{fa>home}} | office | 3048 | | {{fa>phone}} | phone | +33 (0)1 57 27 92 16 | | {{fa>envelope}} | email | [[email:sylvain.schmitz@irif.fr|sylvain.schmitz@irif.fr]] |

===== Research ===== * keywords\\ logic, well quasi orders, verification, formal languages, database theory * [[talks|talks]] * [[papers|publications]] (); latest: {{section>papers#section2024}} * PhD students * [[https://www.irif.fr/~buffiere/|Hector Buffière]] (2024–present); joint supervision with [[http://madezhi.free.fr/|Patrice Ossona de Mendez]] * [[http://www.lsv.fr/~lopez/|Aliaume Lopez]] (2019–2023); joint supervision with [[http://www.lsv.fr/~goubault|Jean Goubault-Larrecq]]; defended on September 12, 2023 * [[http://www.lsv.fr/~lick|Anthony Lick]] (2016–2019); joint supervision with [[https://people.irisa.fr/David.Baelde/|David Baelde]]; defended on July 8, 2019 * [[https://www.centreborelli.fr/halfon-simon/|Simon Halfon]] (2015–2018); joint supervision with [[http://www.lsv.fr/~phs|Philippe Schnoebelen]]; defended on June 29, 2018 * main funding

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

* activities * Steering committee of STACS (co-chair), of GT-Verif * PC member for conferences 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, and workshops RP'15, RP'12, CSLP'12, LDTA'12, LDTA'11, TAG+10, TAG+9 * organising committees of ICALP'22, RP'20 (chair), Highlights 2014 (co-chair), GT-Vérif 2014, GT-Vérif 2013 (co-chair), CIAA'05 /*

*/ ===== Teaching ===== * [[https://www.informatique.univ-paris-diderot.fr/formations/licences/informatique-generale/accueil|Bachelor of computer science]] * 1st year [[https://moodle.u-paris.fr/course/view.php?id=1622|internet and tools]] tutorials * 3rd year [[https://www.irif.fr/~schmitz/teach/2024_lo5|logic]] lectures * [[https://wikimpri.dptinfo.ens-cachan.fr/|Parisian Master of Research in Computer Science (MPRI)]] * 2nd year [[https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-9-1|Algorithmic Aspects of WQO Theory]] lectures * [[https://master.math.u-paris.fr/en/annee/m2-lmfi/|Master in Mathematical Logic and Foundations of Computer Science (LMFI)]] * 2nd year [[https://master.math.u-paris.fr/modules/m2lmfi-mcfs/|Model-checking Finite Structures]] lectures * [[https://sciences.sorbonne-universite.fr/formation-sciences/masters/preparation-lagregation/agregation-externe-dinformatique|Preparation to agregation]] * logic lectures; lessons Here is some [[https://www.irif.fr/~schmitz/teach|course material]] from previous years.