Stefan
Schwoon
Maître de conférence, ENS Paris-Saclay
Selected Publications
Teaching
2021/2022:
Architecture+Systems course
2021/2022:
Verification course
2021/2022:
Tree automata and applications
2021/2022:
Programming projet 2
2021/2022:
Concepts and model checking
(ENSIIE)
2021/2022:
Formal languages course
2020/21: Algorithmique (Agrégation)
Tools
Mole
Moped
WPDS
Model-Checking Kit
(no longer updated)
Other
Private pages:
cycling
About
LSV
News
People
Research
Seminars
Teaching
Contact
Private Pages
English
Français
Contact
Address
LSV
,
CNRS
&
ENS
Paris-Saclay
4 avenue des Sciences
91190 Gif-sur-Yvette, France
Office
2U56
Phone
+33 (0)1 81 87 54 30
E-Mail
schwoon໑lsv.fr