Accessibility statement

Dr Simos Gerasimou
Lecturer

Interests

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.

Qualifications

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

Career

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

Photo

Contact details

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

Phone: +44 (0)1904 325198

Office: CSE/246

E-mail:
Personal Homepage: https://www-users.cs.york.ac.uk/sg778/