Sekretariat

Marion Bramkamp

Uhlhornsweg 84 — Raum A3 2-208

+49 441 798-2426

Heike Wehrheim

Research interests:

Formal Methods in general, and in particular currently

  • Verification of parallel programs
  • Semantics and analysis of weak memory models
  • Validation techniques for learned software
  • Cooperative software verification

Publications:

See dblp

(Changed: 2021-04-07)