Research assistant
Tel. +49 241 80 21158
Fax +49 241 80 22150
Email: voelker[at]embedded[dot]rwth-aachen[dot]de
Address: Ahornstr. 55, 52074 Aachen, Germany
Office: Room 2302 (Building H)
| Semester | Titel | Art |
| Wintersemester 15/16 | Formale Methoden für Steuerungssoftware | V |
| Wintersemester 16/17 | Formale Methoden für Steuerungssoftware | V |
| Formale und semiformale Methoden für eingebettete Software | S | |
| Sommersemester 17 | Formale und semiformale Methoden für eingebettete Software | S |
| Entwicklung NXT gesteuerter LEGO-Fahrzeuge mit Java | P |