Dr Radu Calinescu

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

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 within the Department of Computer Science and a member of the Enterprise Systems group 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, autonomic, 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 self-adaptive software systems.