About
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.
Research
Research groups
Member of:
Research interests
- Model-Based Formal Methods
- Safety and Security of Autonomous Systems
- Tools and Techniques to support formal modelling accessibility
Current research
Dr Dana Dghaym is interested in the formal verification and validation of safe and secure cyber physical systems. Dana is also interested in making formal modelling more accessible to industry.
Research Projects
Publications
27 publications
Page 1 of 3
Dana Dghaym,
Runshan Hu,
, 2021
Type: conference
Runshan Hu,
, 2021
Type: conference
Dana Dghaym,
, 2021
Type: conference
Dana Dghaym,
, 2021
Type: conference
Dana Dghaym,
, 2021
, Journal of Systems Architecture
, 112
Type: article
Dana Dghaym,
& Ben Pritchard
, 2021
, Safety Science
, 136 (0925-7535)
Type: article
Dana Dghaym,
, 2021
Type: conference
Dana Dghaym,
, 2021
Type: conference
Dana Dghaym,
, 2021
Type: conference
Dana Dghaym,
, 2019
Type: conference
Teaching
I currently teach:
- COMP1216 - Software Modelling & Design
- COMP3200 Part III Individual Project