Radu Calinescu

Professor Radu Calinescu is a faculty member in the Department of Computer Science at the University of York. His research focuses on formal methods for adaptive, autonomic, and dependable IT systems, with applications in cloud computing and health informatics. He is affiliated with the High Integrity Systems research group.

• DPhil in Computation from University of Oxford
• Licence Diploma in Computer Science from Iasi, Romania

His research interests span formal methods, automated software engineering, and their application to complex systems. Recent work includes architectural frameworks for self-adaptive systems, runtime verification techniques, and probabilistic modeling approaches.

Current research projects include:

• BRAID: Ethical guidelines for medical AI
• CHEDDAR: Cloud computing communication hubs
• DOMINOS: Disruption mitigation in AI systems

He has published extensively on topics including:

• Adaptive systems architecture
• Formal verification techniques
• Risk-aware decision-making
• Model-driven engineering
• Cloud computing reliability
• Health informatics safety