TEACHING

Bachelor/ Master Theses

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:


Christian Eisentraut   FdSI Bachelor Award 
David Spieler   Günter Hotz Medal 
Fabian Bendun   FdSI Bachelor Award 
Julia Krämer   FdSI Bachelor Award 
Gereon Fox   FdSI Bachelor Award 
Julia Krämer   Günter Hotz Medal 

Summer 2017

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

Winter 2016/17

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

Summer 2016

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

Winter 15/16

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

Summer 2015

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

Winter 2014/15

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

Summer 2014

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

Winter 2013/14

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

Summer 13

Basic Course: Nebenläufige Programmierung

Winter 2012/13

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


Summer 12

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

Winter 2011/12

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

Sommer 2011

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

Winter 2010/11

Proseminar: The Automata Zoo
Seminar: Energy Informatics

Summer 2010

Basisvorlesung: Concurrent Programming
Vertiefungsvorlesung: Quantitative Model Checking

Winter 2009/10

Grundvorlesung: Programming I
Spezialvorlesung: Problem Solving in Computer Science

Summer 2009

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

Winter 2008/09

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

Summer 08

Basisvorlesung: Concurrent Programming
Seminar: Dependability Modelling and Evaluation

Winter 2007/08

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

Summer break 2007

Blockseminar: Methodik und Didaktik für Tutoren

Summer 2007

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


Winter 2006/07

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

Summer 2006

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

Winter 2005/06

Grundvorlesung: Programming I
Seminar: Validation of Stochastic Systems

Summer break 2005

Praktikum: Software Design Practice

Summer 2005

Proseminar: The Software Horror Picture Show

Winter 2004/05

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

Summer break 2004

Stammvorlesung: Data Networking

Summer 2004

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

Winter 2003/04

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