Cláudio Lourenço concludes the PhD
Cláudio Lourenço concluded his PhD on July, 1st 2018, at Universidade do Minho, with a thesis entitled "Single-assignment Program Verification". He was advised by Professor Jorge Sousa Pinto (UMinho) and his research was also hosted by the research center HASLab/INESC TEC.
Read More »