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.