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:
​​
-
HIP-HOPS tool site
​​
-
Safety Designer tool with ESI-ITI GmbH (Germany)​
​​
-
EAST-ADL module in Metaedit+ with capabilities for safety analysis by Metacase (Finland)
​
-
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)
​
-
Philosophy and digital art projects: TIMAEUS, VIRTUAL STOA,​ GeNeRaTiVe aRt project, ODYSSEY