Assistant Professor (email)
I've successfully defended my PhD thesis at the University of Minho.
Our paper on relations as executable specifications has been accepted at the International Conference Relational and Algebraic Methods in Computer Science (RAMiCS).