Summary: Software Modeling and
Verification
2Staff
· Professors:
Prof. Dr. Ir. Joost­Pieter Katoen PD
Prof. em. Dr. Klaus Indermark
http://moves.rwth-aachen.de/
· Secretary:
Elke Ohlenforst
· Lecturer:
Akademischer Oberrat Priv.­Doz. Dr. Thomas Noll
· Researchers:
Dr. Erika ´Abrah´am (since April, from Univ. Freiburg)
Dr. Henrik Bohnenkamp
Tingting Han, M.Sc. (funded by the NWO)
Dipl.-Inform. Carsten Kern
Dipl.-Inform. Martin Neuh¨außer (funded by the NWO)
Dipl.-Inform. Stefan Rieger
Dipl.-Inform. Volker Stolz (until February)
Dipl.-Inform. Daniel Willems (since June, funded by the

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

Collections: Computer Technologies and Information Sciences