Skip to main content
Doctor Dana Dghaym

Doctor Dana Dghaym


Research interests

  • Model-Based Formal Methods
  • Safety and Security of Autonomous Systems
  • Tools and Techniques to support formal modelling accessibility

More research

Accepting applications from PhD students.

Connect with Dana


Address: B53, West Highfield Campus, University Road, SO17 1BJ (View in Google Maps)


Dr Dana Dghaym is a Lecturer in the Cyber-Physical Systems group in the School of Electronics and Computer Science (ECS).  Her main research area is in formal methods where she contributed to Event-B structured refinement and composition methodologies. She also has experience of tool development and verification in railway and maritime autonomous systems. In 2017, Dana was awarded her PhD in Computer Science from the University of Southampton.

Back to top