Dr Rob Alexander


Department of Computer Science,
University of York.

Office: CSE/147, middle floor Computer Science Building
Telephone: 01904 325474
Email: rob.alexander@york.ac.uk

I'm a lecturer 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
    • Search-based testing for autonomous robot control software

  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
    • Mutation testing for multi-agent systems
    • Justifying the dependability of safety decision support systems

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.

Practice

I am currently chairing the Safety of Autonomous Systems Working Group, under the auspices of the Safety-Critical Systems Club.

Teaching

My current teaching includes:

Player/Stage users may be interested in the networking and fault injection extensions that some of my students developed.

Publications

I'm not really keeping this current anymore — for 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