Research
Research Interests
Safety and Reliability Assessment of Cyber Physical Autonomous Systems
Model-based design and analysis
Safety of Artificial Intelligence/Machine Learning
Resilience Assurance of Autonomous Systems
Probabilistic Risk Assessment
Safety and Security assurance for Internet of Things Enabled Smart Systems
Decision Making Under Uncertainty
Tools and Techniques
(Dynamic) Fault Tree Analysis
FMEAs
Bayesian Networks
Stochastic Petri Nets
Markov models
Research Experience
Postdoctoral Research Associate, September 2016 – September 2019
University of Hull, UK
Performed extensive research on safety and security assurance of autonomous systems
Developed methodology for safety assessment with uncertainty and limited observability of data
Collaborated with an interdisciplinary team of researchers from academia and industry
Participated in research proposal writing
Presented research outcomes to a wide range of audiences and published high quality research papers
Supervised students within the Dependable Intelligent Systems (DEIS) research group
PhD Researcher, December 2012 – February 2019
University of Hull, UK
Researched model-based dependability analysis techniques with industrial applicability
Developed new case studies and implemented prototype new algorithms in software
Established and coordinated research collaborations with universities overseas
Contributed to University activities
Mentored students in the department
Research Projects
Throughout my research career, I have worked on the following projects on system safety and reliability. Currently, I am working on concepts for dealing with uncertainty and limited observability of data in safety assessment and certification of autonomous systems. I am also working towards addressing dependability issues in the Internet of Things (IoT).
DEIS (Dependability Engineering Innovation for Cyber Physical Systems (CPS)) is a EU Horizon 2020 funded project, where I contributed to develop a new modelling and integration framework for assuring the safety, security, and reliability of CPS.
MAENAD (Model-based Analysis & Engineering of Novel Architectures for Dependable Electric Vehicles) is a European project concerned with EAST-ADL, a language for the design of embedded automotive systems which is being developed as an international standard by the European automotive industry.