Dr Alistair McEwan

Dr Alistair McEwan

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 Department 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.

I am a Senior Fellow of the Higher Education Academy and a member of the IEEE Software Initiatives team. I also:

  • review for several international journals (including JSA, CCP&E, IJEEE)
  • serve on the programme committee of several international conferences (including IEEE CIT, ICECCS, Euromicro DSD, CPA, FECS)


Departmental responsibilities

  • Course Director, undergraduate degree in Software and Electronic Engineering
  • Course Director, MSc in Reliable Embedded Systems


I tend not to list 'latest' publications on this web page, as the page can go out of date very quickly. However, you should be able to find lists, along with open access routes to papers via the University's search index, or other public scholarly search indexes.


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.

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, or computer engineering.

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, 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.

Interested in studying reliable embedded systems?

A new (blended learning - part time) MSc programme in Reliable Embedded Systems with space is now available.

This programme is intended to support graduate recruitment schemes that may benefit from the inclusion of subjects such as programming, software architectures, testing and verification, and reconfigurable hardware.

It is also intended to support engineers working in the field who may wish to update their skillset, or perhaps retrain in an embedded systems field. The programme is structured to allow you to study whilst holding down a full time job.

If you are interested in finding out more about this programme or how it may benefit you, please email dlstudy@le.ac.uk the first instance.

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.