Main Research Interests

• Safe and Secure Embedded Systems
• Formal Methods
• Test Automation

Also see my research projects and publications.

Prüfungsbeauftragte B.Sc. und ZFB Informatik

Ich bin Prüfungsbeauftragte für die Bachelor-Studiengänge, die vom Institut für Informatik angeboten werden, also den Ein-Fach-Bachelor Informatik und den Zwei-Fach-Bachelor Informatik (Lehramt). Nähere Informationen zur Studienberatung, Einstufung und Anerkennung von Prüfungsleistungen finden Sie hier.

Allgemeine Fragen zur Anerkennung, Einstufung und Vorab-Prüfung beantworte ich auch gern per E-Mail an paula.herber@uni-muenster.de. Bitte senden Sie mir zur Anerkennung von Studienleistung oder zur Einstufung in ein höheres Fachsemester den Nachweis über die entsprechenden Leistungen als Scan vom Original oder einer beglaubigten (!) Kopie zu. Einen beglaubigten Nachweis von Ihren aktuell im QISPOS verbuchten Leistungen erhalten Sie beim Prüfungsamt.

Curriculum Vitae

Prof. Dr.-Ing. Paula Herber received her Ph.D. from TU Berlin in 2010. She worked as a postdoc at the International Computer Science Institute (ICSI) in Berkeley, California, as a substitute professor at the University of Potsdam, and as a postdoc and independent research group leader in the Software Engineering and Embedded Systems group at TU Berlin. Since October 2018, she is a full professor at the University of Münster and head of the Embedded Systems Group at the Computer Science Department. Her main research interests are quality assurance for embedded systems, test automation, and formal methods.