TEACHING

We have a variety of Bachelor and Master theses topics to offer.

Just get in touch with one of us by email or come along for a chat.

The group is a notorious source of award winning Bachelor or Master theses:

	Advanced Course: Ethics for Nerds
	Basic Course: Nebenläufige Programmierung
	Advanced Course: Quantitative Model Checking

	Basic Course: Programmierung 1
	Seminar: Advanced Concurrency Theory best CS Seminar in winter 2016/17 according to student polls

	Basic Course: Nebenläufige Programmierung best CS base lecture in summer 2016 according to student polls
	Advanced Course: Ethics for Nerds

	Advanced Course: "Formal Engineering of Digital and Hybrid Systems"
	Seminar: "Quantified Boolean Formulas: Algorithms and Applications"

	Proseminar: Ethik für Nerds
	Core Course: Data Networks
	Advanced Course: Foundations of Dependable Systems

	Core Course: Verification best CS core lecture in winter 2014/15 according to student polls
	Advanced Course: Quantitative Model Checking

	Basic Course: Nebenläufige Programmierung Preis des Fakultätentages Informatik
	Seminar: Concurrent Automata

	Basic Course: Programmierung 1 Busy Beaver Award. best CS lecture in winter 2013/14 according to student polls
	Stammvorlesung: Data Networks
	Advanced Course: Energy Informatics
	Advanced Course: Quantitative Model Checking

Basic Course: Nebenläufige Programmierung

In the winter term 2012/13 Prof. Hermanns was on sabbatical leave. Nevertheless he offered a combined Seminar/Proseminar on Concurrent Automata.

	Basic Course: Nebenläufige Programmierung best CS base lecture in summer 2012 according to student polls
	Stammvorlesung: Data Networks
	Advanced Course: Concurrent and Mobile Languages
	Advanced Course: Quantitative Model Checking (supported and recommended by us)
	Advanced Course: Applied Concurrency Theory
	Preparatory course: Mathematischer Vorkurs für Informatiker

	Grundvorlesung: Programmierung I
	Seminar: Concurrency Theory
	Doctoral privatissimum: Probabilistic Concurrency Models

	Grundvorlesung: Concurrent Programming Busy Beaver Award. best CS base lecture in summer 2011 according to student polls
	Stammvorlesung: Data Networks

	Proseminar: The Automata Zoo
	Seminar: Energy Informatics

	Basisvorlesung: Concurrent Programming
	Vertiefungsvorlesung: Quantitative Model Checking

	Grundvorlesung: Programming I
	Spezialvorlesung: Problem Solving in Computer Science

	Basisvorlesung: Concurrent Programming
	Seminar: Concurrency Theory
	Vertiefungsvorlesung: Quantitative Model Checking
	Spezialvorlesung: Program Verification Using Separation Logic

	Stammvorlesung: Verification
	Proseminar: In the Automata Zoo
	Spezialvorlesung: Testing Techniques

	Basisvorlesung: Concurrent Programming
	Seminar: Dependability Modelling and Evaluation

	Grundvorlesung: Programming I
	Spezialvorlesung: Concurrent Programming: Theory and Practice
	Seminar: Validation of Stochastic Systems

Blockseminar: Methodik und Didaktik für Tutoren

In summer term 2007, Prof. Hermanns was on sabbatical leave.

	Stammvorlesung: Verification
	Vertiefungsvorlesung: Stochastic Hybrid Systems
	Seminar: Computation in Systems Biology

	Stammvorlesung: Data Networking
	Proseminar: Software Components -- Software Interfaces

	Grundvorlesung: Programming I
	Seminar: Validation of Stochastic Systems

Praktikum: Software Design Practice

Proseminar: The Software Horror Picture Show

	Ringvorlesung: Perspectives in Informatics
	Vertiefungsvorlesung: Data Networks II/Verification II
	Proseminar: The Software Horror Picture Show

Stammvorlesung: Data Networking

	Spezialvorlesung: Ad Hoc Networking: Models and Methods
	Seminar: System and Software Dependability

	Stammvorlesung: Data Networking
	Ringvorlesung: Perspectives in Informatics
	Seminar: Distributed Algorithms in Automotive Systems