Univ.-Prof. i. R. Dr. rer. nat. Wolfgang Thomas
Lehrstuhl für Logik und Theorie diskreter Systeme (Informatik 7)
- 4108b
- [E1, 1. Etage]
- Ahornstraße 55, 52074 Aachen
- +49 241 80-21710
- +49 241 80-22215
- thomas@automata.rwth-aachen.de
- https://www.lics.rwth-aachen.de/go/id/ocwi