Henning Kerstan
Contact
E-Mail: henning.kerstan(at)uni-due.de
Phone: +49 (0)203 / 379 1904
Fax: +49 (0)203 / 379 3557
Room: LF 261
Address: see this pageContact
Office hours: by appointment
Teaching
- SS 2013: Exercise Class Mathematische Strukturen (MaSt) (Mathematical Structures)
- WS 2012/2013: Exercise Class Berechenbarkeit und Komplexität (BeKo) (Computability and Complexity)
- SS 2012: Exercise Class Modellierung nebenläufiger Systeme
(Modeling of Concurrent Systems) - WS 2011/2012: Exercise Class Berechenbarkeit und Komplexität (BeKo) (Computability and Complexity)
Research Interests
- Category Theory
- Measure and Integration Theory
- Transition Systems with Uncountable State Spaces, in particular: Probabilistic Transition Systems
Publications
My list of publications is here.
Druckversion