91Ö±²¥

Dr Radu Calinescu is Reader of Computer Science at the University of York, where he leads a research team developing mathematically based techniques and tools for the modelling, analysis, verification, and engineering of autonomous systems. He is the Principal Investigator on the £3M UKRI Trustworthy Autonomous Systems Node in Resilience, and the Safety of AI Theme Lead on the £12M Assuring Autonomy International Programme. He is a Senior IEEE Member, a founding member of the working group developing the IEEE Guide for the Verification of Autonomous Systems, received a BCS Distinguished Dissertation Award for his University of Oxford PhD thesis, and has published over 120 research papers in the areas of software engineering, formal methods, and self-adaptive and autonomous systems.