Lehr- und Forschungsgebiet Programmiersprachen und Verifikation

Lehr- und Forschungsgebiet Programmiersprachen und Verifikation

Kontaktinformationen

Zentraladresse

Beschäftigte der Organisation

Leitung

- Giesl, Jürgen, Prof. Dr. rer. nat.
- Abteilungsleitung
- giesl@informatik.rwth-aachen.de
- +49 241 80-21230
- Giesl, Jürgen, Prof. Dr. rer. nat.
- Institutsleitung
- giesl@informatik.rwth-aachen.de
- +49 241 80-21230
- Giesl, Jürgen, Prof. Dr. rer. nat.
- Professur
- giesl@informatik.rwth-aachen.de
- +49 241 80-21230

Weitere Beschäftigte

Organisationsdaten

OrgID ORG-88VAM
IKZ 121420
Abkürzung LuFGI2
Kategorie B.01. Fakultäten

Übergeordnete Organisation

Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) (MOVES)

Weiterführende Informationen