Dr Radu Calinescu

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

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

I am Reader in the Department of Computer Science at the University of York, the Assuring Autonomy International Programme Safety of AI Theme Lead, and the lead of the Trustworthy Adaptive and Autonomous Systems and Processes (TASP) Research Team.

Prior to joining the University of York in 2012, I was a Lecturer in Computer Science at Aston University (2009-2012); a Senior Researcher on the Verification and Software Engineering research themes at the University of Oxford (2008-2009); a part-time Lecturer on the Software Engineering Programme at the University of Oxford (2005-2009); an Oxford University researcher on UK's CancerGrid research initiative (2005-2007); and the Technical Architect and Senior Development Manager of Sychron Ltd, an Oxford software company specialising in the development of autonomic datacentre management solutions (1999-2005).

My University of Oxford DPhil thesis on Autonomic-Independent Loop Parallelisation received a British Computer Society Distinguished Dissertation Award, and is available as a Springer-Verlag book.

Research interests

My main research interests are in

  • software engineering for self-adaptive, cyber-physical and autonomous systems
  • formal specification, modelling and verification
  • automated, model- and metadata-driven software engineering

and the application of the theories, approaches and techniques specific to the above research areas to cyber-physical, embedded and service-based systems.

I am an active promoter of using formal methods at runtime to improve the integrity and predictability of self-adaptive, cyber-physical, and autonomous systems and processes.