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 a Senior Lecturer in Large-Scale Complex IT Systems and I lead the Trustworthy Adaptive and Autonomous Systems and Processes (TASP) Research Team within the Department of Computer Science at the University of York.

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

  • formal methods for adaptive, autonomous, secure and dependable software systems
  • automated, model- and metadata-driven software engineering
  • formal specification, modelling and verification

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

I am an active promoter of using formal methods at runtime to improve the integrity and predictability of adaptive and autonomous software systems and processes.