I am currently pursuing a PhD degree at Instituto Superior Técnico (IST) - University of Lisbon, under the supervision of Prof. Miguel Matos and Prof. Paolo Romano. Also, I am a Junior Researcher at the Distributed Systems Group at INESC-ID Lisboa.
I received both my BSc and MSc in Information Systems and Computer Engineering from Instituto Superior Técnico (IST) - University of Lisbon respectively in 2014 and 2016. My MSc Thesis was supervised by Prof. Paolo Romano in the subject of Transactional Memory .
My research focuses in parallel, distributed systems, program analysis techniques and boolean constraint optimization. In particular, I'm interested in Transactional Memory, Database Replication, Spatio-temporal Indexes and how to use in conjunction with program analysis techniques to improve their performance.
Currently, I am participating in SATURN project (PTDC/EEISCR/1743/2014) - This project aims to develop an innovative largescale cloud data platform for the storage and analysis of massive streams of spatiotemporal data.
Rua Alves Redol Nº 9
1000-029, Lisboa, Portugal