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:
|
Summer 13
 | Basic Course: Nebenläufige Programmierung |
Winter 2012/13
In the winter term 2012/13 Prof. Hermanns is on sabbatical leave. Nevertheless the chair will offer a combined Seminar/Proseminar on Concurrent Automata.
Summer 12
| Basic Course: Nebenläufige Programmierung |
| Advanced Course: Concurrent and Mobile Languages |
| Advanced Course: Quantitative Model Checking (supported and recommended by us) |
| Advanced Course: Applied Concurrency Theory (block course in September 2012) |
Winter 2011/12
| Grundvorlesung: Programmierung I |
| Seminar: Concurrency Theory |
| Doctoral privatissimum: Probabilistic Concurrency Models |
Sommer 2011
| Grundvorlesung: Concurrent Programming |
| 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 in August/September 2009 |
| Spezialvorlesung: Program Verification Using Separation Logic in September 2009 |
Winter 2008/09
| Stammvorlesung: Verification |
| Proseminar: In the Automata Zoo |
| Spezialvorlesung: Testing Techniques in March 2009 |
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 |