Stefan Schwoon

Maître de conférence, ENS Paris-Saclay

• Selected Publications

Teaching

• 2019/20: Architecture+Systems course
• 2019/20: Verification course
• 2019/20: Algorithmique (Agrégation)
• 2018/19: Programming projet 2
• 2018/19: Formal languages exercises

Tools

• Mole
• Moped
• WPDS
• Model-Checking Kit (no longer updated)

Other

Private pages: cycling

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact

• École Normale Supérieure Paris-Saclay
• Centre National de la Recherche Scientifique