Prof. Dr. Heike Wehrheim

Department of Computing Science  (» Postal address)

Secretary

Marion Bramkamp

Uhlhornsweg 84 — Raum A2 2-228

+49 441 798-4522

Contact

Ulhornsweg 84 - Raum  A02 3-340

+49  441 798-4624

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.

 

Webmaster (Changed: 08 Aug 2024)  Kurz-URL:Shortlink: https://uol.de/p82137en | # |
Zum Seitananfang scrollen Scroll to the top of the page