Dr Radu Calinescu
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 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.