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
Publications
30 publications
Page 1 of 3
Michael Butler,
Runshan Hu,
, 2021
Type: conference
Michael Butler,
Runshan Hu,
, 2021
Type: conference
Michael Butler,
Runshan Hu,
, 2021
Type: conference
Michael Butler,
Runshan Hu,
, 2021
Type: conference
, 2021
Type: conference
, 2021
Type: conference
, 2021
, Journal of Systems Architecture
, 112
Type: article
Jon Downes,
& Ben Pritchard
, 2021
, Safety Science
, 136 (0925-7535)
Type: article
, 2021
Type: conference
, 2021
Type: conference
Pagination
- 1
- 2
- 3
-
Next page
Next
Supervision
Current PhD Students
Samih Alkhamissi
PhD Computer Science
Teaching
- Software Modelling and Design
- Software Project Management and Secure Development
- Web and Cloud Applications Development