Head

Prof. Dr. Heike Wehrheim 

Secretary

Marion Bramkamp

Uhlhornsweg 84 — Room A3 2-208

+49 441 798-2426

Formal Methods

Welcome to the webpages of the research group Formal Methods!

We develop formal, mathematically precise methods for the description and analysis of hardware or software systems. The developed methods are implemented in tools and evaluated on case studies. Besides sequential verification techniques we currently focus on (a) verification of parallel programs, in particular concurrent data structures and software transactional memory algorithms, (b) taint analysis of Android apps and (c) the analysis of “learned” software. More information can be found on our research pages.

(Changed: 2021-04-30)