André Pedro concludes the PhD
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.
Read More »