Sylvain Schmitz

Assistant professor

Research

Keywords
Verification, infinite systems, well quasi orders, formal languages, parsing, computational linguistics
Curriculum Vitae

Publications

LSV maintains a list of publications. You can also look at my home-made full BibTeX file (presumably the most comprehensive and up-to-date list you can find), DBLP, HAL, the ACM digital library, semantic scholar, or google scholar.

PhD Supervision

Other activities

Teaching (2018–2019)

MPRI, Paris
First half of the logical and computational structures for linguistic modelling lectures.
Tree automata, techniques and applications lectures.
Computer science option of the French "agrégation de mathématiques", ENS Paris-Saclay
First half of the lectures in logic.

Further documents and course pages related to my older teaching activities can be found in my teaching activities page.

About LSV

Contact

Export in vCard format

Sylvain Schmitz
Address
LSV, CNRS & ENS Paris-Saclay
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Office
RH-B-102
Phone
+33 (0)1 47 40 75 42
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
sylvain.schmitz@lsv.fr