LEHRE

Studentenprojekte

Wir haben eine Reihe von Bachelor- und Masterarbeiten im Angebot.

Kontaktieren Sie uns einfach per email oder per sönlich.

 

Die Gruppe is eine notorische Quelle von preiswürdigen Arbeiten:


Christian Eisentraut   Bachelor Preis des FdSI 
David Spieler   Günter Hotz Medallie 
Fabian Bendun   Bachelor-Preis des FdSI 
Julia Krämer   Bachelor-Preis des FdSI 
Gereon Fox   Bachelor-Preis des FdSI 

Sommer 2017

Vertiefungsvorlesung: Ethics for Nerds
Grundvorlesung: Nebenläufige Programmierung
Vertiefungsvorlesung: Quantitative Model Checking

Winter 2016/17

Grundvorlesung: Programmierung 1
Seminar: Advanced Concurrency Theory

Sommer 2016

Basisvorlesung: Nebenläufige Programmierung beste Grundvorlesung im SS 2016 laut studentischer Evaluation
Vertiefungsvorlesung: Ethics for Nerds

Winter 15/16

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

Sommer 2015

Proseminar: Ethik für Nerds
Stammvorlesung: Datennetze
Spezialvorlesung: Foundations of Dependable Systems

Winter 2014/15

Stammvorlesung: Verification beste Stammvorlesung im WS 2014/15 laut studentischer Evaluation
Vertiefungsvorlesung: Quantitative Model Checking

Sommer 2014

Grundvorlesung: Nebenläufige Programmierung

Winter 2013/14

Grundvorlesung: Programmierung 1 Busy Beaver Award. beste Informatikvorlesung im WS 2013/14 laut studentischer Evaluation
Vertiefungsvorlesung: Energieinformatik
Vertiefungsvorlesung: Quantitative Model Checking

Sommer 2013

Grundvorlesung: Nebenläufige Programmierung ausgezeichnet mit dem Preis des Fakultätentages 2013.

Wintersemester 2012/13

Im Wintersemester 2012/13 befand sich Prof. Hermanns in Forschungssemester. Nichtsdestotrotz hat er ein kombiniertes Seminar/Proseminar angeboten: Nebenläufige Automaten.

 


Sommer 2012

Grundvorlesung: Nebenläufige Programmierung beste Grundvorlesung im SS 2012 laut studentischer Evaluation
Vertiefungsvorlesung: Concurrent and Mobile Languages
Vertiefungsvorlesung: Quantitative Model Checking (unterstützt und empfohlen von uns)
Vertiefungsvorlesung: Applied Concurrency Theory
Mathematischer Vorkurs für Informatiker

Wintersemester 2011/12

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

Sommer 2011

Grundvorlesung: Nebenläufige Programmierung Busy Beaver Award. beste Grundvorlesung im SS 2011 laut studentischer Evaluation
Stammvorlesung: Datennetze

Wintersemester 2010/11

Proseminar: Im Zoo der Automaten
Seminar: Energieinformatik

Sommersemester 2010

Basisvorlesung: Nebenläufige Programmierung
Vertiefungsvorlesung: Quantitative Model Checking

Wintersemester 2009/10

Grundvorlesung: Programmierung I
Spezialvorlesung: Problem Solving in Computer Science

Sommersemester 2009

Basisvorlesung: Nebenläufige Programmierung
Seminar: Concurrency Theory
Vertiefungsvorlesung: Quantitative Model Checking
Spezialvorlesung: Program Verification Using Separation Logic

Wintersemester 2008/09

Stammvorlesung: Verifikation
Proseminar: Im Zoo der Automaten
Spezialvorlesung: Testing Techniques

Sommersemester 2008

Basisvorlesung: Nebenläufige Programmierung
Seminar: Dependability Modelling and Evaluation

Wintersemester 2007/08

Grundvorlesung: Programmierung I
Spezialvorlesung: Nebenläufige Programmierung: Theorie und Praxis
Seminar: Validierung Stochastischer Systeme

Sommerpause 2007

Blockseminar: Methodik und Didaktik für Tutoren

Sommersemester 2007

Im Sommersemester 2007 befand sich Prof. Hermanns im Forschungssemester.


Wintersemester 2006/07

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

Sommer 2006

Stammvorlesung:Datennetze
Proseminar: Software-Komponenten -- Software-Schnittstellen

Wintersemester 2005/06

Grundvorlesung: Programmierung I
Seminar: Validierung Stochastischer Systeme

Sommersemesterferien 2005

Praktikum: Software Design Praktikum

Sommersemester 2005

Proseminar: The Software Horror Picture Show

Wintersemester 2004/05

Ringvorlesung: Perspektiven der Informatik
Vertiefungsvorlesung: Data Networks II/Verification II
Proseminar: The Software Horror Picture Show

Sommersemesterferien 2004

Stammvorlesung: Datennetze

Sommersemester 2004

Spezialvorlesung: Ad-hoc-Netzwerke: Modelle und Methoden
Seminar: Verlässlichkeit von Systemen und Software

Wintersemester 2003/04

Stammvorlesung: Datennetze
Ringvorlesung: Perspektiven der Informatik
Seminar: Distributed Algorithms in Automotive Systems