top of page
20190908_131556 (5)_edited.jpg

Welcome to my site where you can find collected information about my academic and commercial work. My research explores a novel synthesis of software engineering, model-based design, and AI techniques for the design and operation of dependable systems. Over the past 20 years, I have pioneered a body of work on model-based dependability analysis and evolutionary optimisation of complex engineering systems known as Hierarchically Performed Hazard Origin and Propagation Studies (HiP-HOPS). I have also co-authored EAST-ADL, an emerging architecture description language. I have been increasingly interested in the area of Dependable AI and I am currently working with my research group (DEIS-RG) on topics including a) new metaheuristics inspired by the social intelligence of penguins b) safety of machine learning and c) developing technologies for self-certification of cyber-physical and autonomous systems. I am researching digital art and various aspects of philosophy and its intersections with science. I believe in collaborative research environments that combine the intellectual pursuit of knowledge with positive outcomes for society, and develop the philosophically inspired concept of the research environment as "Academic Garden". Below you will find hyperlinks to a few of my current projects:

​​

​​

​​

​

  • DEIS (Dependability Engineering Innovation for Cyber-Physical Systems) H2020 Research Project (2017-2020)

​

  • Dependable AI (see among other things a virtual urn with a prelaphaelite image of Pandora created in TIMAEUS, linking Nick Bostrom's "vulnerable world hypothesis" to the work of my group in this area)

​

  • SESAME (Safety and Security of Multi-Robot Systems) H2020 Research Project (2021-2024) 

​

  • SafeML (Safety of Machine Learning) - Project with Fraunhofer IESE and Nuremberg Institute of Technology  

  • ​

  • DREAM (Data-driven Reliability-centred Evolutionary Automated Maintenance for Offshore Wind Farms - A project funded by EDF-London (2018-2021)

​

​

Recent and Upcoming Events

IMBSA
6th Int'l Symp. on Model-Based
Safety and Assessment, Co-chairing
Thessaloniki, Greece, 16-18.10.2019
LORENTZ CENTRE
Workshop on Safety of Future
Systems, Invited Talk 
 
Leiden, Netherlands, 9-13.04.2018

My Latest Research 

BBC - Hungry penguins help keep car code safe

Automotive IQ - Philosophical penguins show the road to smart cars

EE Journal - Robot penguins zap cyber-threat

TIMAEUS is a 3D art studio inspired by the homonymous Platonic dialogue

Infinite Virtual Stoa

differentAngle.png

Infinite Virtua Stoa 

MRSystem

* NEW - SESAME H2020 Research Project (2021-2024)  -  Safety and Security of Multi-Robot Systems

DEIS H2020 Research Project (2107-2020) 

Digital Dependability Identities -  new concepts for improving the safety of autonomous and connected systems

​

windfarm.png

DREAM: Data-driven Reliability-centred Evolutionary Automated Maintenance for Offshore Wind Farms - A project funded by EDF-London

Evolving musical paintings and Digital Art

​

bottom of page