Maryam Kamali

University of Liverpool

Research

My research interests include:

  • Distributed, autonomous systems
  • Correct-by-construction development
  • Formal specificaiton and verification of wireless sensor networks
  • Network protocol verification
  • Model checking
  • Abstraction and refinement

Currently I am involved in the Verifiable Autonomy project.