Forschung

Prof. Dr. Heike Wehrheim

Kontakt

Sekretariat

Marion Bramkamp

Uhlhornsweg 84 — Raum A2 2-228

+49 441 798-4522

Validation of Software Transactional Memory (DFG Projekt VaST)
Verification of service compositions (CRC 901, Teilprojekt B3)
Proof-Carrying Services (CRC 901, Teilprojekt B4)
Cooperative Software Verification (DFG Projekt Coop)
Concurrency Reasoning for Weak Memory (DFG Projekt ONE)

(Stand: 16.03.2023) |