Dr Alistair McEwan

Dr Alistair McEwan

Update: saying farewell to University of Leicester!

In November 2020 I shall be taking up the post of Professor of Software EngineeringHead of Computing, and Head of Mathematics at the University of Derby.

Updated contact details will be added in when available - however if you need to find me after October 2020 (and can't!) a search of staff in the College of Science and Engineering at the University of Derby may help.  I anticipate my email address will be a.mcewan@derby.ac.uk

Associate Professor in Software Engineering and Real-time systems


Room 902, Engineering Tower

Tel: +44 (0)116 252 2672

Fax: +44 (0)116 252 2619

Email: alistair.mcewan@le.ac.uk

Google scholar

ORCID iD iconorcid.org/0000-0002-6660-3192


Personal details

I am an Associate Professor in the Aerospace & Computational Engineering Research Group in the School of Engineering, and have been at the University of Leicester since 2007.  I hold a BSc from the University of Aberdeen, and a DPhil (PhD) from the University of Oxford. Prior to Leicester, I held several post-doctoral research fellowships at the Universities of Oxford, Kent, Surrey, and UCL.

Within Leicester, I am a leader of the inter-disciplinary Centre for Artificial Intelligence, Data Analytics, and Modelling (AIDAM), and the Leicester Artificial Intelligence Network (LAIN).  I also lead the Transport Research theme, and the Space Engineering Research theme.  External to Leicester I am a Member of the Institution of Engineering Technology (IET) Senior Fellow of the Higher Education Academy (SFHEA) and a member of the IEEE Software Initiatives team. I also:

  • review for several international journals (including various by IEEE, Springer, Elsevier, MDPI)
  • serve on the programme committee of several international conferences (including IEEE CIT, ICECCS, Euromicro DSD, CPA, FECS)


Departmental responsibilities and teaching

  • EG1202 Computer Engineering
  • EG2222 Embedded Systems
  • EG4214 Embedded Systems 1
  • EG4224 Embedded Systems 2
  • EG7014 High Reliability Embedded Systems
  • EG7018 Embedded Systems for Condition Monitoring and Control
  • Careers tutor
  • Open days/offer holder days


A list of publications and citations may be found on my Google scholar page.


My research interests focus on the development and application of sound engineering principles to the design, development, and verification of dependable systems incorporating software - systems where high levels of assurance in the behaviours (and misbehaviours) are needed. Such systems may be, for instance, safety-critical or fault-tolerant systems implemented in either hardware or software, or a combination of both in reconfigurable hardware, and may even incorporate machine learning or artificial intelligence components.

Research projects have involved topics such as

  • the development of software technologies for large scale data processing in support of Cancer Research
  • automated analysis of safety cases for high reliability embedded systems
  • techniques for high reliability storage systems
  • unifications of formal methods
  • the application of formal methods to industrial scale software development.

These projects have been funded by a variety of sources including the EPSRC, FP7, Horizon 2020, and industrial funding; and have been conducted in collaboration with companies from automotive, avionics, medical, space, and consumer electronics, as well as a number of academic partners.


Interested in doing a PhD?

I am always happy to talk to prospective students who are interested in studying for a PhD in reliable embedded systems, software engineering, computer engineering, and artificial intelligence.

If you are thinking of applying for a PhD place in one of these areas, and you have a background in any of Computer Science, Mathematics, Software Engineering, or Embedded Systems, then I am happy to discuss any prospective project ideas that you may have in advance of a formal application so that we can identify areas of mutual interest.

Please email me if you have ideas that you wish to discuss - and remember, it is helpful if you can show me that you have some understanding of what doing research in these areas entails.

Details of the formal applications procedure can be found on the main University website.

Interested in following our research activities?

There are always interesting things going on in the group, such as seminar, talks, new papers being published, conference presentations, learning and teaching activities, coffee discussions about new ideas and so on.

We like to keep people informed and involved, so we tweet information about them from our twitter accounts - @alistair_esl, #esl_leicester. You are welcome to follow us, and to get involved.

Share this page:

Learning Resources

The Library is not just a collection of books - there are eBooks, help with study skills and careers, working areas (including computer rooms), meeting rooms, a cafe, a bookshop, and much more.

Go to the Library.

Blackboard is the university's Virtual Learning Environment, for staff and students.

Go to Blackboard.

Women in STEM

Athena SWAN

Want to return to your career in Science, Engineering or Technology after a career break? The Daphne Jackson Trust can help.