Pedro Raminhas


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 .

Research Interests

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/EEI­SCR/1743/2014) - This project aims to develop an innovative large­scale cloud data platform for the storage and analysis of massive streams of spatio­temporal data.



  • Shady Issa, Miguel Viegas, Pedro Raminhas, Nuno Machado, Miguel Matos, Paolo Romano
    Exploiting Symbolic Execution to Accelerate Deterministic Databases
    40th International Conference on Distributed Computing Systems (ICDCS)


  • Pedro Raminhas, Shady Issa and Paolo Romano
    Enhancing Effiency of Hybrid Transactional Memory via Dynamic Data Partitioning Schemes
    The 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2018)
    [paper] [keynote] [bib]
  • Pedro Raminhas, Miguel Matos and Paolo Romano
    Fine-grained Transaction Scheduling in Replicated Databases via Symbolic Execution
    12th EuroSys Doctoral Workshop (EuroDW 2018)
    [paper] [keynote][bib]


  • Enhancing effiency of Hybrid Transactional Memory via Dynamic Data Partitioning Schemes (supervised by Professor Paolo Romano)
    MSc. Thesis, IST, Universidade de Lisboa, November 2016.
    Mid Term Report - Final Report - Extended Abstract


  • Distributed Systems (2nd Semester 2017/2018)


Publications and citations can be found on the following sites:
Google Scholar
Research Gate

Social networks


Rua Alves Redol Nº 9
Room 501
1000-029, Lisboa, Portugal