===== 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]]; upcoming talks: {{section>talks#upcoming_talks}} * [[papers|publications]] (); latest: {{section>papers#section2023}} * PhD students * [[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 [[http://www.lsv.fr/~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, of GT-Verif * PC member for conferences 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 ===== * [[http://www.informatique.univ-paris-diderot.fr/wiki/doku.php/enseignement/licences/licence-informatique|Bachelor of computer science]] * 2nd year [[https://moodle.u-paris.fr/course/view.php?id=1636|introduction to logic]] course * 3rd year [[https://www.irif.fr/~schmitz/teach/2023_lo5|logic]] course * [[http://www.informatique.univ-paris-diderot.fr/wiki/doku.php/enseignement/les-masters|Master of computer science]] * 1st year [[https://www.irif.fr/~schmitz/teach/2023_aaa7/|advanced automata and applications]] * 1st year [[https://moodle.u-paris.fr/course/view.php?id=10715|advanced databases]] tutorials * [[https://licence.math.univ-paris-diderot.fr/|Bachelor of mathematics]] * 3rd year [[https://moodle.u-paris.fr/course/view.php?id=2313|databases]] tutorials * [[https://sciences.sorbonne-universite.fr/formation-sciences/masters/preparation-lagregation/agregation-externe-dinformatique|Preparation to agregation]] * logic course; lessons Here is some [[https://www.irif.fr/~schmitz/teach|course material]] from previous years.