Prof. Dr. Heike Wehrheim
Department of Computing Science (» Postal address)
Secretary
Contact
Prof. Dr. Heike Wehrheim
Research interests:
Heike Wehrheim's research focuses on the development of formal methods for the validation of software. This involves investigating automatic methods as well as developing refinement proofs and proof calculi. One focus is currently on investigating cooperative methods for verification and including weak memory models in the analysis of parallel algorithms.
CV
Prof. Dr. rer.nat. Heike Wehrheim has been Professor of Formal Methods at the Carl von Ossietzky University of Oldenburg since 2021. Prior to that, she was Professor of Specification and Modeling of Software Systems at the University of Paderborn since 2004. She habilitated at the University of Oldenburg in 2002 and received her doctorate from the University of Hildesheim in 1996 after studying computer science at the University of Bonn.
Publications
Lectures
Winter term 2026 / 2027
Summer term 2026