Azalea Raad

Researcher
MPI-SWS

Research

My current research interests include:

  • Resource Reasoning
  • Separation Logic
  • Formal Verification
  • Program Logics
  • Reasoning about Concurrent Programs
  • Modular Reasoning
  • Library Specification
  • JavaScript Reasoning
  • The Document Object Model (DOM)