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