Leandro Rafael Moreira Gomes concluded his PhD the 8th of April 2022, at the University of Minho, with a thesis entitled "Weighted computations: semantics and program logics". He was advised by Luís Soares Barbosa (U Minho) and Alexandre Madeira (U Aveiro).
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