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.
Publications and citations can be found on the following sites:
Google Scholar
Research Gate
Social networks
LinkedIn
praminhas@gsd.inesc-id.pt
INESC-ID Lisboa
Rua Alves Redol Nº 9
Room 501
1000-029, Lisboa, Portugal