© herber
Prof. Dr. Paula Herber

AG Embedded Systems

Einsteinstraße 62, Room 216
48149 Münster


Sprechstunde: nach Vereinbarung

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



Alle Anfragen an die Prüfungsbeauftragten der Informatik bitte an pbbscinf@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 intelligent embedded systems, test automation, and formal methods.

Main Research Interests

  • Software Engineering for Intelligent Embedded Systems
  • Safety, Security, Reliability and Resilience
  • Formal Verification and Test Automation

Also see my research projects and publications.