Accessibility statement

Automated Software Engineering

Dr Simos Gerasimou
Academic Staff

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

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

Photo

Contact details

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

Phone: +44 (0)1904 325198

Office: CSE/034

E-mail:

Research Group: