Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)

Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2)

Kontaktinformationen

Zentraladresse

Beschäftigte der Organisation

Lehrstuhl für Informatik 2

- Katoen, Joost-Pieter, Prof. Dr. Ir.
- Lehrstuhlinhaber
- katoen@cs.rwth-aachen.de
- +49 241 80-21200
- Indermark, Klaus, Prof. Dr. rer. nat.
- Professor emeritus
- indermark@cs.rwth-aachen.de
- +49 241 80-21250
- Noll, Thomas, Apl. Prof. Dr.
- Apl. Professor
- noll@cs.rwth-aachen.de
- +49 241 80-21213
- Ohlenforst, Elke
- Sekretariat
- ohlenforst@cs.rwth-aachen.de
- +49 241 80-21201
- Claaßen, Sandra
- Sekretariat
- claassen@cs.rwth-aachen.de
- +49 241 80-21211
- Willms, Birgit
- Koordinierung GRK UnRAVeL
- willms@cs.rwth-aachen.de
- +49 241 80-21211
- Bolke-Hermanns, Helene
- Mathematical and Technical IT Specialist
- helen.bolke-hermanns@informatik.rwth-aachen.de
- +49 241 80-21004
- Batz, Kevin, M.Sc.
- kevin.batz@cs.rwth-aachen.de
- +49 241 80-21206
- Berthon, Raphael, Dr.
- berthon@cs.rwth-aachen.de
- Bork, Alexander, M.Sc.
- alexander.bork@cs.rwth-aachen.de
- +49 241 80-21212
- Brix, Christopher, M.Sc.
- brix@cs.rwth-aachen.de
- +49 241 80-21210
- Fesefeldt, Ira, M.Sc.
- fesefeldt@cs.rwth-aachen.de
- Gehnen, Christina, M.Sc.
- christina.gehnen@rwth-aachen.de
- +49 241 80-21201
- Haase, Darion, M.Sc.
- darion.haase@cs.rwth-aachen.de
- +49 241 80-21225
- Klinkenberg, Lutz, M.Sc.
- lutz.klinkenberg@cs.rwth-aachen.de
- +49 241 80-21221
- Mertens, Hannah, M.Sc.
- hannah.mertens@cs.rwth-aachen.de
- +49 241 80-21203
- Quatmann, Tim, Dr. rer. nat.
- tim.quatmann@cs.rwth-aachen.de
- +49 241 80-21210
- Schroer, Philipp, M.Sc.
- phisch@cs.rwth-aachen.de
- +49 241 80-22222
- Verscht, Lena, M.Sc.
- lena.verscht@cs.rwth-aachen.de
- +49 241 80-21224
- Winkler, Tobias, M.Sc.
- tobias.winkler@cs.rwth-aachen.de
- Besprechungsraum
- +49 241 80-21220
- Seminarraum
- +49 241 80-21223
- Drucker- und Materialraum
- +49 241 80-21207
Gründung zum 23.12.1975 durch Prof. Dr. Klaus Indermark, übernommen am 1.10.2005 durch Prof. Dr. Ir. Dr. h. c. Joost-Pieter Katoen

Weitere Beschäftigte

Organisationsdaten

OrgID ORG-89WDC
IKZ 121310
Abkürzung MOVES
Kategorie B.01. Fakultäten

Übergeordnete Organisation

Fachgruppe Informatik (FG-Inf.)

Untergeordnete Organisationen

Weiterführende Informationen