Home
News & Jobs
People
Research
Teaching
General Information
Courses/Seminars
BSc/MSc/Diplom Projects
Service
WS 09/10
SS 09
WS 08/09
SS 08
WS 07/08
SS 07
WS 06/07
SS 06
Past
MOVES Seminar
Publications
Tools
Coordinates
Hybrid Systems Group


Old I2 pages »

LuFG I2 »

Fachgruppe Informatik »

Bibliothek der Informatik »

RWTH Aachen »

Disclaimer »

Wintersemester 2006/07

Grundstudium:

  • Servicevorlesung Automaten, Sprachen und Komplexität

  • Proseminar Verteilte Algorithmen

  • B-IT Course Introduction to Theoretical Computer Science

Hauptstudium:

  • Advanced Model Checking

  • Compilerbau

  • Seminar Pointer Analysis

  • Seminar Quantitative Aspects of Security

Sonstiges:

  • MOVES Seminar


BSc/MSc/Diploma Topics

Teaching WS09/10

Hybrid Systems Group


GESUCHT!

1-2 stud. Hilfskr. zur Unterstützung bei der Erstellung eines neuen Foliensatzes für "Datenstrukturen & Algorithmen 2010".  (mehr)


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)


Older news