Professor Yiannis Papadopoulos
| Biography | Professor Papadopoulos is a foremost international expert on safety of computer systems including safety of AI and intelligent systems. For over 25 years he is leading a research group on Dependable Intelligent Systems. In this period, he has pioneered a method and set of tools for model-based safety/reliability assessment and evolutionary optimisation of complex engineering systems known as Hierarchically Performed Hazard Origin and Propagation Studies (HiP-HOPS). He has also co-authored EAST-ADL, an emerging automotive architecture description language. These technologies have gained wide academic recognition and, though an global ecosystem of software houses, have been successfully transferred to the automotive, shipping and other industries, where they have been commercialised and successfully deployed in design and engineering processes. Professor Papadopoulos is currently pioneering new model-based and data driven technologies for dynamic safety assurance of autonomous and cooperative systems that include swarms of robots and autonomous cars. His group is currently developing cutting-edge statistical methods for improving the safety of AI, including safety of Machine Learning, Deep Learning and Large Language Models. More information about his academic and industrial projects can be found on his personal website @ https://yipapadopoulos.wixsite.com/yiap |
|---|---|
| Research Interests | Design of Safety Critical and Dependable Systems Dependable, Responsible Trustworthy AI Safety of Machine Learning Safety of Autonomous Systems Safety of Systems of Systems Model-based Systems, Software & Safety Engineering Dependability (Reliability, Safety, Availability) Analysis of Systems Model-based Automated Safety Analysis, HiP-HOPS, Model-Checking Automatic Safety Argumentation Optimisation of System Architecture and Maintenance Metaheuristics, Genetic Algorithms, AI applications in Engineering Applications in automotive, aerospace, rail, shipping & offshore, telehealth industries AI applications in Art, Generative Art |
| Teaching and Learning | My teaching currently covers modules on Software Engineering focusing on techniques for model-based development, object-oriented systems, software modelling notations such as those defined in UML and techniques for dependability analysis and verification of system and software design. I am also teaching a module on Digital Disruption and Innovation in which I draw from my own technology transfer activities to help entrepreneurial students understand the fundamentals of business innovation and planning, as well as providing connections to the local business ecosystem. I have recently taught at the DISC PhD summer school in Netherlands and teach short courses on Safety of Computer Systems and Software. Modules Presently Being Taught at University of Hull - 3rd year: Safety Critical Systems - 3rd year: Digital Disruption and Innovation - MSc level: Dependable Reactive Real-Time Systems |
| Scopus Author ID | 7004080291 |
| PhD Supervision Availability | Yes |
| PhD Topics | Professor Papadopoulos welcomes applications in all areas of his research. The key requirements for PhD applicants are a good degree, strong software engineering skills, and an exploratory mind. Much of the work has extensive industrial applicability and is done in collaboration with large industrial organisations which are technology leaders in their field. Despite the many applications of this work in the engineering of technologically advanced systems, such as electric and semi-autonomous cars, the work involved in those PhD projects does not require any knowledge of these engineering domains and is mainly focused on computer science, and the development and implementation of novel algorithms and tools using standard computer equipment and programming environments. -- Current PhDs - Connor Walker, Safe LLMs for Maintenance - Razieh Arshadizadeh, Model repair in Executable Digital Dependability Identities - Kuniko Paxton, Machine Learning Fairness in a Continuum -- Completed PhDs (as first supervisor) - Luis Torrao (2024), Timaeus - Tetrahedral Illuminated Media Augmented Scupltures - Athanasios Retouniotis (expected 2023), Model-Connected Safety Cases - Koorosh Aslansefat (expected 2022), Addressing Complexity and Intelligence in Systems Dependability Evaluation - Ioannis Sorokos (2018), Generation of Model-Based Safety Arguments from Automatically Allocated Safety Integrity Levels - Luis Azevedo (2015), Scalable Allocation of Safety Integrity Levels in Automotive Systems - Zhibao Mian (2014), Model Transformation for Multi-objective Architecture Optimisation for Dependable Systems - Shawulu Nggada (2013), Multi-objective System Optimisation with Respect to Availability, Maintainability and Cost - Nidhal Mahmud (2012), Dynamic Model-based Safety Analysis: from State Machines to Temporal Fault Trees - Amer Dheedan (2012), Distributed On-line Safety Monitor Based on Safety Assessment Model - Septavera Sharvia (2011), Integrated Application of Compositional and Behavioural Safety Analysis - David Parker (2010), Multi-objective Optimisation of Safety-Critical Hierarchical Systems - Ian Wolforth (2010), Specification and Use of Component Failure Patterns - Martin Walker (2009), Pandora - A Logic for the Qualitative Analysis of Temporal Fault Trees |