LEANDRO RAFAEL MOREIRA GOMES CONCLUDED THE PHD
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).
Read More »