Dr Radu Calinescu: Research

Department of Computer Science
University of York
Deramore Lane
York, YO10 5GH

email: radu.calinescu AT york.ac.uk
tel: +44 (0)1904 325166

Research projects

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

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

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

Former PhD students