Sommersemester 2007
Grundstudium:
- Vorlesung Formale Systeme, Automaten, Prozesse bzw. Automatentheorie und formale Sprachen
- Softwarepraktikum: Implementierung heuristischer Algorithmen für Brettspiele
Hauptstudium:
Sonstiges:
16 Oct 2009
Tingting Han defended her thesis "Synthesis, Diagnosis and Analysis of Probabilistic Systems" with highest praise at the University of Twente (NL) and today also at the RWTH Aachen! (more)
23 Sep 2009
Stefan Rieger defended his Doctoral Thesis with great success!
18 Sep 2009
1 Sep 2009
The Hybrid Systems Group has now moved to its hopefully final place, the rooms 2U07, 2U08 and 2U09.
Older news