Academic and Teaching Staff

Dr Radu Calinescu
Senior Lecturer

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

https://pure.york.ac.uk/portal/en/researchers/radu-calinescu(44dfc078-f08b-40ca-ba3d-6e82037e3ca6).html

Departmental and University Roles

  • MSc Programme Leader SWE
  • MSc Cyber Admissions Team

Photo

Contact details

Department of Computer Science
University of York
Deramore Lane
York
YO10 5GH

Phone: +44 (0)1904 325166

Fax: +44 (0)1904 325599

Office: RCH/102B

E-mail:
Personal Homepage: http://www-users.cs.york.ac.uk/~raduc/

Research Group: