Dr Rob Alexander


High Integrity Systems Engineering Research Group,
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, England.

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: Xueyi Zou
    • Safety and reliability of swarming robots. 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
    • Algorithms for Robust and Dependable Wireless Sensor Networks Research Student: Issam Al-Nader

I am interested in collaborations, and in supervising PhD research, in all of the above areas.

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

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005 and earlier