I am PhD student affiliated to the PDFInf doctoral program in the Informatics Department. My supervisor is Prof. Orlando Belo and my research interests are in the area of modelling and analysis of Human-Machine Interfaces in Cyber-Physical Systems (CPS) with high-assurance needs. In this category, we can mention safe-critical systems as medical devices and nuclear control panels, airplane cockpits, railway automated controls, aerospace control panels, just to cite a few.  I am currently developing methods and tools for automatic analysis of cockpit interfaces and programmable medical devices.

You can contact me at:

saulo.r.siilva [at] inesctec.pt