Paulo Sérgio Almeida

Paulo Sérgio Almeida is an Assistant Professor at the Department of Informatics, University of Minho, and a Senior Researcher at HASLab / INESC TEC since November 2011. He holds a PhD in Computer Science from Imperial College London (1998) and an MSc from University of Porto (1994).

• Research Interests
• Distributed Systems
• Causality Tracking Mechanisms
• Conflict-free Replicated Data Types (CRDTs)
• Eventually Consistent Databases
• Network Protocols
• Fault-tolerant Algorithms

His recent publications focus on Byzantine fault tolerance, consistency models, and network protocols. Notable works include the Blocklace universal CRDT framework and the Exon protocol for oblivious exactly-once messaging.

Advising:

• Ziad Ali Kassam – thesis on Exactly-once Exchanges (2021–2023)
• Ricardo Oliveira Vaz – thesis on Blockchain-based Payment Systems (2022)

Labs/Teams:
Associate researcher at HASLab / INESC TEC, contributing to distributed systems research.