Dr Radu Calinescu: Research

Research projects

I am Principal Investigator/York Lead Investigator on the following on-going projects:

• Continual Verification and Assurance of Robotic Systems under Uncertainty (ORCA Hub/EPSRC, 2019-2021, PI)
• Safety of AI Techniques (AAIP/Lloyd's Register Foundation, 2018-2022, PI)
• CSI:Cobot - Confident safety integration for cobots (AAIP/Lloyd's Register Foundation, 2019-2021, York lead investigator)
• Safe-SCAD - Safety of shared control in autonomous driving (AAIP/Lloyd's Register Foundation, 2019-2021, York lead investigator)
• Multi-Robot Systems for the Inspection of Nuclear Fusion Infrastructure (UK Atomic Energy Authority/RACE, 2020-2023, PI)
• Safe Multi-Agent Reinforcement Learning (Dstl, 2018-2021, PI)
• Integrated correctness analysis and performance evaluation of software (Microsoft Research, 2017-2020, PI)

Past projects

I was Principal Investigator/York Lead Investigator on the following projects:

• Assured Mission-Critical Applications for Teams of Unmanned Vehicles (Dstl, 2018-2019, PI)
• Runtime Quantitative Verification of Self-Adaptive Artificial Intelligence Systems (Dstl, 2012-2017, PI)
• Continuous Planning of Operational Processes Applied to Non-combatant Evacuation Operations (Dstl, 2017-2018, PI)
• Assured Reinforcement Learning for Safety-Critical Applications (Dstl, 2013-2018, PI)
• Continual Analysis of Operational Process Dependability (Dstl, 2014-2019, PI)
• Cloud Computing for Large-Scale Complex IT Systems (EPSRC, 2010-2014, York lead investigator)
• Mathematical modelling of bi-directional synaptic signalling (York/Wellcome Trust, 2013-2014, PI)

Postdoctoral researchers

• Faisal Alhwikem
• Xinwei Fang
• Mario Gleirscher
• James Harbin
• Colin Paterson

Former postdoctoral researchers

• Andrew Gallimore (now Staff Scientist at Okinawa Institute of Science and Technology)
• Victoria Hodge (now Senior Researcher at the University of York)
• Kenneth Johnson (now Senior Lecturer at Aukland University of Technology)

Current PhD students

• Naif Alasmari
• Abdullah Albalawi (co-supervised with Vassilios G. Vassilakis)
• Khaled Aldheeif (co-supervised with Simos Gerasimou and Richard Paige)
• Emad Alharbi (co-supervised with Kevin Cowtan)
• Misael Alpizar Santana (co-supervised with Colin Paterson)
• Tony McDonagh (co-supervised with Mario Gleirscher)
• Joshua Riley (co-supervised with Colin Paterson)
• Andrew Shepherd (co-supervised with Ibrahim Habli)
• Premathas Somasekaram
• Ioannis Stefanakos (co-supervised with Simos Gerasimou)
• Gricel Vazquez Flores (co-supervised with Wanli Chang)
• Saud Yonbawi (co-supervised with Javier Camara)

Former PhD students

• Gabriel Costa Silva (now a Lecturer at Universidade Tecnologica Federal do Parana - Dois Vizinhos, Brazil)
• Martyn Ellison (now a Software Engineer at FinancialForce)
• Simos Gerasimou (now a Lecturer at the University of York)
• George Mason
• Colin Paterson (now a Postdoctoral Researcher at the University of York)
• Yasmin Rafiq (now a Postdoctoral Researcher at the University of St Andrews)
• Matthew Windsor (now a Postdoctoral Researcher at Imperial College London)