Vorlesungen
Vorlesungen und Übungen
- 2018/19
- COM3501/COM4501/COM6501 Computer Security and Forensics, The University of Sheffield.
- COM6015 Development of Secure Software, The University of Sheffield.
- 2017/18
- COM3501/COM4501/COM6501 Computer Security and Forensics, The University of Sheffield.
- COM3420 Software Hut, The University of Sheffield.
- 2016/17
- COM3501/COM4501/COM6501 Computer Security and Forensics, The University of Sheffield.
- COM3420 Software Hut, The University of Sheffield.
- 2015/16
- COM4525/COM6535 Genesys, The University of Sheffield
- COM3420 Software Hut, The University of Sheffield.
- 2009
- Dozent der Vorlesung Mathematik für Wirtschaftsinformatiker/innen von an der AKAD Stuttgart.
- 2008
- Dozent der Vorlesung Mathematik für Wirtschaftsinformatiker/innen von an der AKAD Stuttgart.
- WS 2006/07
- Assistent und Dozent der Vorlesung Computer-unterstütztes Modellieren und Beweisen zusammen mit Dr. Felix Klaedtke und Dr. Burkhart Wolff an der ETH Zürich.
- WS 2004/05
- Assistent und Dozent der Vorlesung Computer-unterstütztes Modellieren und Beweisen zusammen mit Prof. David Basin und Dr. Burkhart Wolff an der ETH Zürich.
- SS 2003
- Tutor der Vorlesung Theoretische Informatik von Prof. Nivergelt an der ETH Zürich.
- SS 2002
- Leiter des Softwarepraktikums über Enterprise Systeme (J2EE/EJB) von Prof. Basin an der Albert-Ludwigs Universität Freiburg.
- WS 2000/01
- Tutor des Softwarepraktikums (Schwerpunkt Java) von Prof. Basin an der Albert-Ludwigs Universität Freiburg.
- SS 2000
- Tutor des Softwarepraktikums (Schwerpunkt Java) von Prof. Basin an der Albert-Ludwigs Universität Freiburg.
- SS 1999
- Leitung und Entwruf eines ASIC Design Praktikums von Prof. Becker an derAlbert-Ludwigs Universität Freiburg.
- SS 1998
- Leitung und Entwruf eines ASIC Design Praktikums von Prof. Becker an derAlbert-Ludwigs Universität Freiburg.
- WS 1997/98
- Tutor der Vorlesung Informatik I von Prof. Basin und Prof. Ottmann an der Albert-Ludwigs Universität Freiburg.
- SS 1997
- Tutor der Vorlesung Informatik II von Prof. Ottmann an der Albert-Ludwigs Universität.
- WS 1996/97
- Tutor der Vorlesung Informatik I von Prof. Lausen und Prof. Ottmann an der Albert-Ludwigs Universität Freiburg.
- SS 1996
- Tutor der Vorlesung Informatik II von Prof. Ottmann an der Albert-Ludwigs Universität.
- Online Kurse
- Computer-unterstütztes Modellieren und Beweisen von David Basin, Achim D. Brucker, Jan-Georg Smaus und Burkhart Wolff.