London

King's College London

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.

Hugo Araujo

Research Associate

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

Prof Ivan Tyukin

Co-Investigator

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

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.

Hugo Araujo

Research Associate

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

Prof Ivan Tyukin

Co-Investigator

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

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

Dr Genovefa Kefalidou

Engagement and Node Liaison Officer

Lecturer in Human-Computer Interaction.

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.

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.

Durham

University of Durham

Prof Effie Lai-Chong Law

Site Leader

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

Prof Effie Lai-Chong Law

Site Leader

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

Sheffield

University of Sheffield

Dr José Miguel Rojas

Publicity Officer

Lecturer in Software Engineering and Software Testing.

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.

Dr José Miguel Rojas

Publicity Officer

Lecturer in Software Engineering and Software Testing.

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.

Lancaster

University of Lancaster

Dr Uraz C. Turker

Co-Investigator

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