Prof Radu Calinescu
Professor

Interests

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.

Qualifications

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

Career

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