Scholar
Radu Calinescu
Google Scholar ID: NLiNqPwAAAAJ
Professor of Computer Science, University of York
Citations & Impact
Citations
4,038
H-index
34
i10-index
86
Publications
20
Co-authors
42
list available
Contact
Publications
Resume (English only)
Academic Achievements
- - PC Co-Chair - 19th International Conference on Software Engineering and Formal Methods (SEFM 2021)
- - PC Co-Chair - 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2020)
- - PC Co-Chair - 11th International Workshop on Software Engineering for Resilient Systems (SERENE 2019)
- - Guest Co-Editor - Computing Journal Special Issue on Resilient Software and Software-Controlled Systems
- - Guest Co-Editor - Journal of Systems and Software Special Issue on Software Engineering for Trustworthy Cyber-Physical Systems
- - Founding Member - IEEE Guidelines on the Verification of Autonomous Systems Working Group
Research Experience
- - Professor of Computer Science at the University of York since 2012
- - Lecturer in Computer Science at Aston University (2009-2012)
- - Senior Researcher on the Verification and Software Engineering research themes at the University of Oxford (2008-2009)
- - Part-time Lecturer on the Software Engineering Programme at the University of Oxford (2005-2009)
- - Researcher on UK's CancerGrid research initiative (2005-2007)
- - Technical Architect and Senior Development Manager of Sychron Ltd, an Oxford software company (1999-2005)
Education
- DPhil from the University of Oxford, with a thesis on 'Autonomic-Independent Loop Parallelisation', which received a British Computer Society Distinguished Dissertation Award and was published as a Springer-Verlag book.
Background
- Main research interests: formal modelling, analysis, verification and controller synthesis for autonomous and self-adaptive systems and processes, parametric and probabilistic model checking, automated and model-driven software engineering, and the application of these theories, approaches, and techniques to robotic, cyber-physical, embedded, and service-based systems. Active promoter of using formal methods at runtime to improve the resilience, integrity, and predictability of autonomous systems in safety-critical and mission-critical applications.
