© herber
Prof. Dr. Paula Herber


AG Embedded Systems

Einsteinstraße 62, Room 216
48149 Münster


Phone: +49 251 83-32421
Fax: +49 251 83-32742

paula.herber@uni-muenster.de

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. Since May 2021, she is also a part-time professor at the University of Twente in the Formal Methods and Tools group. Her main research interests are quality assurance for embedded systems, test automation, and formal methods.

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 Studienleistungen oder zur Einstufung in ein höheres Fachsemester den Nachweis über die entsprechenden Leistungen als Scan vom Original oder einer beglaubigten Kopie zu. Für Leistungen, die an der WWU erbracht wurden, genügt ein von Ihnen selbst erstellter Kontrollausdruck (QISPOS-Auszug).