Accessibility statement

Academic and Teaching Staff

Prof Radu Calinescu


My main research interests are in

  • formal methods for adaptive, autonomic, secure and dependable IT 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 adaptive systems and systems of systems, cloud computing and health informatics.


DPhil Computation (Oxford)
Licence Diploma Computer Science (Iasi, Romania)


Senior Lecturer in Large-Scale Complex IT Systems, University of York, 2012–
Lecturer in Computer Science, Aston University, 2009–2012
Senior Research Officer, University of Oxford, 2008–2009
Part-Time Lecturer, Software Engineering Programme, University of Oxford, 2005–2009
Research Officer, University of Oxford, 2005–2007
Technical Architect/Senior Development Manager, Sychron Ltd, 2003–2005
Technical Manager, Sychron Ltd, 2000–2002
Senior Software Engineer, Sychron Ltd, 1999

Departmental and University Roles

  • MSc Programme Leader SWE
  • MSc Cyber Admissions Team


Contact details

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

Phone: +44 (0)1904 325166

Office: ISA


Research Group: