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

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)

Teaching

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

Publications

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

Research

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.

Supervision

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.