André Pedro concluded his PhD on April, 10th 2018, at Universidade do Minho. His thesis is "Runtime verification of hard real-time systems properties". He was advised by Prof. Jorge Sousa Pinto (UM) and Prof. Luís Pinho (ISEP/IPP) and his research was also hosted by the research centers HASLab and CISTER.
Congratulations!
Events
Check incoming events
FAQ
For incoming Students
Check FAQ's for incoming students for answers to commonly asked questions.
FAQ
For current Students
Mailing List
Subscription