Dr Rob Alexander


Department of Computer Science,
University of York.

Office: CSE/033, ground 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. Research Student: Hao Wei

  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. Research Student: Zhan Huang
    • Justifying the dependability of safety decision support systems. Research Student: Ralph Eastwood

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

If you don't see it here, may be worth trying my page on the university's research database

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005 and earlier