Prof. Dr. rer. nat. Jürgen Giesl
Graduiertenkolleg UnRAVeL
- 4212
- [Informatikzentrum (ehem. PH)]
- Ahornstraße 55, 52074 Aachen
- +49 241 80-21230
- +49 241 80-22217
- giesl@informatik.rwth-aachen.de
- https://www.unravel.rwth-aachen.de/
Lehr- und Forschungsgebiet Programmiersprachen und Verifikation
- 4212
- [Informatikzentrum (ehem. PH)]
- Ahornstraße 55, 52074 Aachen
- +49 241 80-21230
- +49 241 80-22217
- giesl@informatik.rwth-aachen.de
- http://verify.rwth-aachen.de/giesl/