Chair for Foundations of Software Reliability and Theoretical Computer Science
Home
Contact
Teaching
People
professors
secretaries
scientific staff
associate members
sysadmins
affiliated scientists
affiliated students
former staff
Publications
Research
Help
Stefan Schwoon
Deutsche Version
I have moved to
ENS Cachan
, where you will find
my new homepage
.
Teaching:
Summer 2009:
Model Checking
(Univ. of Freiburg)
Summer 2009:
Seminar Kryptographische Protokolle
(Univ. of Freiburg)
Winter 2008/09:
Fundamental Algorithms
Winter 2008/09:
Model Checking II
Summer 2008:
Model Checking
Winter 2007/08:
Logic (Tutorials)
Summer 2007:
Discrete Stochastics (Tutorials)
Publications
Tools:
Moped
Mole
Weighted PDS library
The Model-Checking Kit
Events:
ETAPS 2009
CIAA 2009
Private pages:
Pictures
–
Bicycling
-->
Contact
People
Deutsche Version
