I7 | Mitarbeiter | Stefan Schwoon

-->


		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	English Version

Seit dem 1. September 2009 bin ich an der ENS Cachan tätig; meine neue Homepage ist hier.

Lehre:

SS 2009: Model Checking (Uni Freiburg)
SS 2009: Seminar Kryptographische Protokolle (Uni Freiburg)
WS 2008/09: Fundamental Algorithms
WS 2008/09: Model-Checking II
SS 2008: Model-Checking
WS 2007/08: Logik (Übungen)
SS 2007: Diskrete Wahrscheinlichkeitstheorie (Übungen)

Veröffentlichungen

Software:

Konferenzen:

Private Seiten: Bilder – Radfahren