Dr Rob Alexander


Department of Computer Science,
University of York.

Office: ISA/108, middle floor ISA Building
Telephone: 01904 325474
Email: rob.alexander@york.ac.uk

I'm a senior lecturer (associate professor) in the Department of Computer Science at the University of York, UK.

Research

I study three things:

  1. The World - Understanding and modelling the messy real world environments that high-autonomy systems must inhabit, in particular for the sake of systems validation

  2. The Engineering Process - Understanding how the messy reality of large-scale engineering processes can give rise to disasters in safety-critical systems, and in refining techniques for managing that reality

  3. The Machine - Reconciling the advanced technologies needed for autonomy with the dependability (particularly safety) requirements that safety-critical applications impose on technologies and the means of analysing them

I am interested in collaborations, and in supervising PhD research, in all of the above areas. If you're interested in PhD study, I have a page with some ideas for specific PhD projects.

Teaching

My current teaching includes:

Publications

I'm not keeping this current anymore — for my papers from 2019 onwards, please refer to my page on the university's research database

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005 and earlier