Summary: Software Modeling and Verification
Staff
· Professors
Prof. Dr. Ir. Joost-Pieter Katoen PD
Prof. em. Dr. Klaus Indermark
Prof. Dr. Erika Ábrahám
http://moves.rwth-aachen.de/
· Secretary
Elke Ohlenforst
· Lecturer
AOR Priv.-Doz. Dr. Thomas Noll
· Researchers
Dr. Henrik Bohnenkamp
Xin Chen, M.Sc.
Dr. Tingting Han
Dipl.-Inform. Jonathan Heinen
Dipl.-Inform. Nils Jansen
Dr. Carsten Kern
Dipl.-Inform. Daniel Klink
Dipl.-Inform. Ulrich Loup

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

Collections: Computer Technologies and Information Sciences