London

King's College London

Dr Jan Ringert

Engagement and Node Liaison Officer

Lecturer in Model-based Software Engineering.

Hugo Araujo

Research Associate

His research interests are model based software testing/engineering, model learning and causality.

Prof Mohammad Mousavi

Principal Investigator (PI)

Professor of Data-Oriented Software engineering. His main research interest is in model-based testing, particularly of variability-intensive and cyber-physical systems.

Dr Jan Ringert

Engagement and Node Liaison Officer

Lecturer in Model-based Software Engineering.

Hugo Araujo

Research Associate

His research interests are model based software testing/engineering, model learning and causality.

Prof Mohammad Mousavi

Principal Investigator (PI)

Professor of Data-Oriented Software engineering. His main research interest is in model-based testing, particularly of variability-intensive and cyber-physical systems.

Leeds

University of Leeds

Dr Bilal Kaddouh

Case Studies Officer

Lecturer in Aerial Robotics.

Dr Chengxu Zhou

Co-Investigator

Lecturer in Mobile Robotics.

Prof Rob Richardson

Site Leader

Professor of Robotics in the School of Mechanical Engineering and iMechE fellow. His research tackles a broad range of infrastructure robotics platforms and medical robotic systems.

Dr Bilal Kaddouh

Case Studies Officer

Lecturer in Aerial Robotics.

Dr Chengxu Zhou

Co-Investigator

Lecturer in Mobile Robotics.

Prof Rob Richardson

Site Leader

Professor of Robotics in the School of Mechanical Engineering and iMechE fellow. His research tackles a broad range of infrastructure robotics platforms and medical robotic systems.

Leicester

University of Leicester

Prof Effie Law

Site Leader

Professor of Human-Computer Interaction. Her research focus is usability and user experience methodologies.

Prof Ivan Tyukin

Co-Investigator

Professor of Applied Mathematics. He is an expert in adaptive and learning systems, AI, and mathematical modelling.

Dr Genovefa Kefalidou

Engagement and Node Liaison Officer

Lecturer in Human-Computer Interaction.

Dr José Miguel Rojas

Publicity Officer

Lecturer in Software Engineering and Software Testing.

Dr Uraz C. Turker

Co-Investigator

Lecturer in the school of mathematics and computing. Dr. Turker has recently become interested in systematic testing of reinforcement learning algorithms.

Prof Effie Law

Site Leader

Professor of Human-Computer Interaction. Her research focus is usability and user experience methodologies.

Prof Ivan Tyukin

Co-Investigator

Professor of Applied Mathematics. He is an expert in adaptive and learning systems, AI, and mathematical modelling.

Dr Genovefa Kefalidou

Engagement and Node Liaison Officer

Lecturer in Human-Computer Interaction.

Dr José Miguel Rojas

Publicity Officer

Lecturer in Software Engineering and Software Testing.

Dr Uraz C. Turker

Co-Investigator

Lecturer in the school of mathematics and computing. Dr. Turker has recently become interested in systematic testing of reinforcement learning algorithms.

Manchester

University of Manchester

Prof Michael Fisher

Deputy PI

Professor of Computer Science, Royal Academy of Engineering Chair in Emerging Technologies, Europe Chair of the IEEE Technical Committee for Verification of Autonomous Systems.

Dr Louise Dennis

Co-Investigator

Senior Lecturer. Her background is in artificial intelligence and more specifically in agent and autonomous systems and automated reasoning.

Prof Gavin Brown

Site Leader

Professor of Machine Learning and Director of Research. His research spans interdisciplinary projects on drug efficacy predictions and modelling domestic violence.

Joe Collenette

Research Associate

Background in AI and Law, and emotions in AI. Currently researching verification, explainability, and ethics in AI.

Fatma Faruq

Research Associate

Her background is in robotics and model checking and her current research focus is verification of autonomous systems.

York

University of York

Prof James Woodcock

Site Leader

FREng Anniversary Professor of Software Engineering. His research covers the spectrum from abstract theory to practical application in industry.

Prof Ana Cavalcanti

Deputy PI

Professor of Software Verification and Royal Academy of Engineering Chair in Emerging Technologies. Her current research is on theory and practice of design, simulation, verification, and testing for mobile and autonomous robotic systems.

Matt Windsor

Research Associate

Matt is a postdoc in the York RoboStar group, working on notations for capturing verifiable properties of models of robotic systems.  Matt’s interests include automatic verification and testing of concurrent software, and producing tools and languages for formal reasoning.

Prof James Woodcock

Site Leader

FREng Anniversary Professor of Software Engineering. His research covers the spectrum from abstract theory to practical application in industry.

Prof Ana Cavalcanti

Deputy PI

Professor of Software Verification and Royal Academy of Engineering Chair in Emerging Technologies. Her current research is on theory and practice of design, simulation, verification, and testing for mobile and autonomous robotic systems.

Matt Windsor

Research Associate

Matt is a postdoc in the York RoboStar group, working on notations for capturing verifiable properties of models of robotic systems.  Matt’s interests include automatic verification and testing of concurrent software, and producing tools and languages for formal reasoning.

Sheffield

University of Sheffield

Prof Rob Hierons

Site Leader

Chair in Testing, Deputy Director of Research and Head of the Testing research group at Sheffield. The main aim of his research is to devise automated testing techniques (and tools) that generate efficient, systematic test suites on the basis of program code, models or specifications.

Yasmeen B Rafiq

Research Associate

Yasmeen has extensive experience in model-driven engineering, quantitative verification and autonomous computing. My main interests are in self-adaptive, self-aware and self-managing systems that have capabilities to adapt, reconfigure and verify system requirements in real time during unpredictable changes in workload, requirements and environment. My particular focus is on distributed systems, probabilistic model checking, machine learning and more recently on spatial analytics and data science.

Prof Rob Hierons

Site Leader

Chair in Testing, Deputy Director of Research and Head of the Testing research group at Sheffield. The main aim of his research is to devise automated testing techniques (and tools) that generate efficient, systematic test suites on the basis of program code, models or specifications.

Yasmeen B Rafiq

Research Associate

Yasmeen has extensive experience in model-driven engineering, quantitative verification and autonomous computing. My main interests are in self-adaptive, self-aware and self-managing systems that have capabilities to adapt, reconfigure and verify system requirements in real time during unpredictable changes in workload, requirements and environment. My particular focus is on distributed systems, probabilistic model checking, machine learning and more recently on spatial analytics and data science.