Associates

Research Group Computer Science 2
E-Mail: giesl(at)informatik.rwth-aachen.de
Tel: +49 241 80-21230
Fax: +49 241 80-22217

Chair for Computer Science 2
Email: noll(at)cs.rwth-aachen.de
Tel: +49 (241) 80-21213
Fax: +49 (241) 80-22217
Research Topics:
- System-Software Co-Engineering of Aerospace Systems
- Analysis and Verification of Pointer-Manipulating Programs
- Equational Abstractions for Software Model Checking
- Formal Models of Microcontroller Systems

Chair for Computer Science 1
Email: quax(at)cs.rwth-aachen.de
Tel: +49 (241) 80-21103
Fax: +49 (241) 80-22216
Research Topic: