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