Sommersemester 2014
- Proseminar "Desaster in der Software-Sicherheit"
- Praxis der Forschung (Projektgruppe): Usability von Entwicklerwerkzeugen
- Praxis der Forschung (Projektgruppe): Automated Software Privacy Analysis
- Praxis der Forschung (Projektgruppe): Modellgetriebene Softwareentwicklung
Wintersemester 2013/2014
- Proseminar "Formale Analyse von Wahlverfahren"
- Praxis der Forschung (Projektgruppe): Formale Methoden der Softwareentwicklung - Verifying Component-Based Security
- Praxis der Forschung (Projektgruppe): Formale Methoden der Softwareentwicklung - Regression Verification
- Praxis der Forschung (Projektgruppe): Formale Methoden der Softwareentwicklung - Modellierung und Verifikation von Service-Robotern
- Praxis der Softwareentwicklung (PSE)
Sommersemester 2013
- Anwendung formaler Verifikation mit Übung
- Praxis der Forschung (Projektgruppe): Formale Methoden der Softwareentwicklung - Regression Verification
Wintersemester 2012/2013
- Praxis der Forschung (Projektgruppe): Regression Verification
- Praxis der Softwareentwicklung (PSE)
- Formale Entwicklung objektorientierter Software
Sommersemester 2012
- Seminar Formale Methoden für Software-Sicherheit
- Praxis der Softwareentwicklung (PSE)
- Anwendung formaler Verifikation mit Übung
Wintersemester 2011/2012
- Seminar Formale Systeme und Methoden
- Praxis der Softwareentwicklung (PSE)
- Praktikum Formale Entwicklung objektorientierter Software
Sommersemester 2011
Wintersemester 2010/2011
Sommersemester 2010
Wintersemester 2009/2010
- Formale Systeme mit Übung Evaluation: Gesamtnote 1,46 - Details
- Praxis der Softwareentwicklung (PSE)
Sommersemester 2009
- Vorlesung "Formale Spezifikation und Verifikation"
- Seminar "Software-Zertifikation"
- Oberseminar "Künstliche Intelligenz"
Wintersemester 2008/2009
- Vorlesung "Formale Systeme" (Universität Karlsruhe)
Evaluation: Gesamtnote 1,46 - Details - Vorlesung "Einführung in die formale Spezifikation von Software" (Universität Koblenz)
Evaluation (im Rahmen des Lehrpreiswettbewerbs des Landes Rheinland-Pfalz): Gesamtnote 1,8 - Details
Evaluation (des Fachbereichs): Gesamtnote 1,8 - Details (PDF) - Oberseminar "Künstliche Intelligenz" (Universität Koblenz)
Sommersemester 2008
- Vorlesung "Formale Spezifikation und Verifikation"
Evaluation: Gesamtnote 1,5 - Details (PDF) - Seminar "Aktuelle Schwerpunkte der deutschen Informatik-Forschung"
- Oberseminar "Künstliche Intelligenz"
Wintersemester 2007/2008
- Vorlesung "Theoretische Informatik II"
Evaluation (im Rahmen des Lehrpreiswettbewerbs des Landes Rheinland-Pfalz): Gesamtnote 1,7 - Details
Evaluation (des Fachbereichs): Gesamtnote 1,54 - Details (PDF) - Vorlesung "KI-Programmierung"
Evaluation: Gesamtnote 1,6 - Details (PDF) - Proseminar Informatik
- Oberseminar "Künstliche Intelligenz"
Sommersemester 2007
- Vorlesung "Grundlagen der Theoretischen Informatik" (BSc) / "Einführung in die Theoretische Informatik I" (Dipl)
Evaluation (im Rahmen des Lehrpreiswettbewerbs des Landes Rheinland-Pfalz): Gesamtnote 1,6 - Details
Evaluation (des Fachbereichs): Gesamtnote 1,58 - Details (PDF) - Lecture "Formal Methods in Software Engineering" (in Englisch), im Rahmen der
Summer Academy
Evaluation: Gesamtnote 1,25 - Details (PDF) - Praktikum "Entwicklung einer Projektmanagementkomponente für ein Programmverifikationssytem"
- Oberseminar "Künstliche Intelligenz"
Wintersemester 2006/2007
- Vorlesung "Nicht-klassische Logiken"
Evaluation: Gesamtnote 1,63 - Details (PDF) - Seminar "Programmverifikation"
- Oberseminar "Künstliche Intelligenz"
Sommersemester 2006
- Vorlesung "Logik für Informatiker"
Evaluation: Gesamtnote 1,91 - Details (PDF) - Lecture "Formal Verification of Software" (in Englisch)
Evaluation: Gesamtnote 1,75 - Details (PDF) - Proseminar "Ausgewählte Themen aus den Forschungsprojekten der Arbeitsgruppe Künstliche Intelligenz"
Wintersemester 2005/2006
Sommersemester 2005
Wintersemester 2004/2005
- Vorlesung "Künstliche Intelligenz für Informationsmanager"
- Praktikum "Entwicklung objektorientierter Software mit formalen Methoden"
Frühere Semester
- Vorlesung "Formale Spezifikation von Software" (Uni Koblenz, SS 2004)
- Seminar "Logik auf Abwegen: Irrglaube, Lüge, Täuschung" (Uni Koblenz, SS 2004)
- Vorlesung"Einführung in die Künstliche Intelligenz / Künstliche Intelligenz für Informationsmanager" (Uni Koblenz, WS 2003/2004)
- Praktikum"Entwicklung objektorientierter Software mit formalen Methoden" (Uni Koblenz, WS 2003/2004)
- Vorlesung "Einführung in die Künstliche Intelligenz / Künstliche Intelligenz für Informationsmanager" (SS 2003, Uni Koblenz)
- Vorlesung "Nicht-klassische Logiken" (SS 2003, Uni Koblenz)
- Seminar "Berühmt-berüchtigte Software-Fehler" (SS 2003, Uni Koblenz)
- Vorlesung "Automatisches Beweisen" (SS 1999 bis SS 2003, Uni Karlsruhe)
- Vorlesung "Formale Spezifikation und Verifikation von Software" (WS 2002/2003, Uni Koblenz)
- Praktikum "Entwicklung objektorientierter Software mit formalen Methoden" (WS 2002/2003, Uni Koblenz)
- Praktikum "Digitale Signaturen in der Anwendung: Ein Projekt in formaler Modellierung" (KeY Praktikum, WS 2001/2002, Uni Karlsruhe)
- Praktikum "Formale Entwicklung objektorientierter Software" (SS 2001, Uni Karlsruhe)
- Übungen zur Vorlesung "Formale Systeme" (WS 2000/2001, Uni Karlsruhe)
- Praktikum "Entwicklung von JavaCard-Applets" (WS 2000/2001, Uni Karlsruhe)