## Michael González Harbour

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