I'm a MSc student at the Department of Informatics of the University of Minho, supervised by Professor Carlos Baquero, and hosted by HASLab, INESC TEC. I've been granted two internships from HASLab and from NOVA University of Lisbon to pursue my research, mainly within my MSc program and the EU FP7 SyncFree project, which was partially published at ECOOP PMLDC’16 workshop in Italy. I hold a Bachelor degree in Computer Science from University of Minho as well. I'm working on Distributed Systems (Eventual Consistency), but I also enjoy Formal Methods (although I know very little about them). I hope that, one day, I can work on both of them to make Distributed Systems work better..