Accessibility statement

All Staff

Dr Simos Gerasimou
Academic Staff


My main research interests include the engineering of trustworthy software for autonomous systems through the development of rigorous tool-supported approaches using model-based analysis, testing and formal verification.

  • Trustworthy AI
  • Model-driven robotics & autonomous systems
  • Software engineering
  • Formal specification and verification

If you are interested in pursuing a PhD under my supervision, please read this first.


PhD Computer Science, University of York, 2016
MSc Software Engineering, University of York, 2011
BSc Computer Science, Univesity of Cyprus, 2010


Senior Lecturer, University of York, 2023 -
Lecturer, University of York, 2019 - 2023
Research Associate, University of York, 2016-2019
Research Associate, Cyprus University of Technology, 2011-2012

Departmental and University Roles

  • ECA Chair (Online)
  • Research Impact


Contact details

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

Phone: +44 (0)1904 325198

Office: CSE/034


Research Group: