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 (until 08/2007)
Dr. Henrik Bohnenkamp
Dr. David Jansen (from 01/2007 until 08/2007)
Tingting Han, M.Sc. (funded by the NWO)
Dipl.-Inform. Jonathan Heinen (from 05/2007)
Dipl.-Inform. Carsten Kern
Dipl.-Inform. Daniel Klink (DFG funding)
Alexandru Mereacre, MSc (from 11/2007, DFG funding)

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

Collections: Computer Technologies and Information Sciences