Press & Communication

+49 (0) 441 798-5446

Heike Wehrheim

Theoretical Computer Science: Formal Methods

Computer Scientist Heike Wehrheim appointed

Prof. Dr. Heike Wehrheim has been appointed Professor of Theoretical Computer Science: Formal Methods at the Institute of Computer Science.

She was previously Professor of Specification and Modelling of Software Systems at Paderborn University. Wehrheim trained as a mathematical-technical assistant at the Gesellschaft für Mathematik und Datenverarbeitung (GMD) in St. Augustin, near Bonn. After studying computer science at the University of Bonn, she completed her doctorate at the University of Hildesheim in 1996. From 1998 to 2004 she was a research assistant and then research associate at the University of Oldenburg, where she also earned her habilitation in 2002. She took up the professor position at Paderborn University in 2004.

Wehrheim's research focuses on mathematical methods for formally verifying the correctness of computer programmes. Before moving to Oldenburg, she was the deputy speaker of a German Research Foundation Collaborative Research Centre based at Paderborn University.

(Changed: 2021-10-28)