Summary: Software Modeling and
Verification
2Staff
· Professors:
Prof. Dr. Ir. Joost­Pieter Katoen
Prof. em. Dr. Klaus Indermark
http://www-i2.informatik.rwth-aachen.de/
· Secretary:
Elke Ohlenforst
· Lecturer:
Akademischer Oberrat Priv.­Doz. Dr. Thomas Noll
· Researchers:
Dr. Henrik Bohnenkamp (since Sept. 1st)
Dr. Benedikt Bollig (until Okt. 1st)
Dr. Michael Weber (until Nov. 1st)
Tingting Han, B.Sc. (since Nov. 1st, funded by the NWO)
Dipl.-Inform. Carsten Kern (since Sept. 1st)
Dipl.-Inform. Martin Neuh¨außer (since Nov. 1st, funded
by the NWO)
Dipl.-Inform. Stefan Rieger (since Sept. 1st)

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

Collections: Computer Technologies and Information Sciences