Experiencia académica

  • Professor in the Department of Mathematics, Statistics and Computer.

  • He works in software engineering for real-time systems, and particularly in modeling and schedulability analysis of distributed real-time systems, real-time operating systems, and real-time languages.


Líneas de investigación y áreas de interés

  • Co-author of «A practitioner’s handbook on real-time analysis».

  • He has been involved in several industrial projects using Ada to build real-time controllers for robots.

  • Michael has participated in the real-time working group of the POSIX standard for portable operating system interfaces.

  • He is one of the principal authors of the MAST suite for modeling and analysing real-time systems.

Last modified: Wednesday, 31 May 2017, 12:16 PM