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.
Check incoming events
Follow the link below for information on upcoming and past MAP-i events.
For incoming Students
Check FAQ's for incoming students for answers to commonly asked questions.
For current Students
Check FAQ's for current students for answers to commonly asked questions.
Find out how to subscribe to MAP-i mailing list.