???global.info.a_carregar???
Paulo Sérgio Almeida is an Assistant Professor at University of Minho, and a senior researcher at HASLab / INESC TEC. He obtained a MSc degree from University of Porto in 1994 and a PhD degree in Computer Science from Imperial College London in 1998. His research activities have been in the area of distributed systems. Some main contributions have been in causality tracking mechanisms, eventually consistent databases, and fault-tolerant distributed aggregation algorithms. Other subjects have been bloom filters and distributed algorithms in graphs. For some years the main focus of research has been on CRDTs (Conflict-free Replicated Data Types), with some results being the development of both pure operation-based and delta-state based CRDTs. He has published in conferences such as IEEE International Conference on Data Engineering (ICDE), IEEE International Conference on Distributed Computing Systems (ICDCS), International Symposium on Distributed Computing (DISC), and IEEE Symposium on Reliable Distributed Systems (SRDS). He has published in journals such as Distributed Computing (Springer), IEEE Transactions on Parallel and Distributed Systems, Journal of Parallel and Distributed Computing (Elsevier), and IEEE Communications Surveys & Tutorials. He has served as an external reviewer for journals such as IEEE Transactions on Computers, IEEE/ACM Transactions on Networking, Information Processing Letters, IEEE Transactions on Parallel and Distributed Systems, and Distributed Computing (Springer).
Read full resume ↓
Identification

Personal identification

Full name
Paulo Sérgio Soares de Almeida

Citation names

  • Almeida, Paulo Sérgio

Author identifiers

Ciência ID
CF13-D998-93B0
ORCID iD
0000-0001-7000-0485
Google Scholar ID
MB7Z71QAAAAJ
Researcher Id
I-4138-2015
Scopus Author Id
8396496700

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Education
Degree Classification
2023/06/16
Concluded
 Agregação no ramo do conhecimento em Informática (Título de Agregado)
Major in Informática
Universidade do Minho, Portugal
1998/08
Concluded
 Doctor of Philosophy in Engineering (Doctor of Philosophy)
Imperial College London, United Kingdom
"Control of Object Sharing in Programming Languages" (THESIS/DISSERTATION)
1994/07
Concluded
 Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
 Muito Bom
1990/07
Concluded
 Engenharia Electrotécnica e de Computadores (Licenciatura)
Universidade do Porto Faculdade de Engenharia, Portugal
 17
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2011 - Current Assistant Professor (University Teacher) Universidade do Minho, Portugal
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
1998/10/20 - Current Assistant Professor (University Teacher) Universidade do Minho, Portugal
1994/07/15 - 1998/10/19 Assistant (University Teacher) Universidade do Minho, Portugal
1990/11/02 - 1994/07/14 Trainee Assistant (University Teacher) Universidade do Minho, Portugal
Projects

Contract

Designation Funders
2017/01/01 - 2019/12/31 LightKone: Lightweight computations on the edge
732505
Researcher
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 European Commission
Concluded
2013/10/01 - 2016/12/31 SyncFree: Large-scale computation without synchronisation
609551
Researcher
European Commission
Concluded
2010/04 - 2012/09 CASTOR: Causality Tracking for Optimistic Replication in Dynamic Distributed Systems
Provided by PTCRIS: 104022
104022
Provided by PTCRIS: 59064
59064
Researcher
Fundação para a Ciência e a Tecnologia, I.P.
2005/03/01 - 2008/06/30 FEW - Files EveryWhere
POSC/EIA/59064/2004
Researcher
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal

Universidade do Minho, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
Outputs

Publications

Book chapter
  1. Manuel Barros; Maria Ramos; Alexandre Gomes; Alcino Cunha; José Pereira; Paulo Sérgio Almeida. "An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises". 2023.
    10.1007/978-3-031-35355-0_1
Conference paper
  1. Ana Rodrigues; Ariel Shtul; Carlos Baquero; Paulo Sérgio Almeida. "Time-limited Bloom Filter". 2023.
    10.1145/3555776.3577791
  2. Weidner, M; Almeida, PS. "An Oblivious Observed-Reset Embeddable Replicated Counter". 2022.
    10.1145/3517209.3524084
  3. Kassam, Z; Almeida, PS; Shoker, A. "Exon: An Oblivious Exactly-Once Messaging Protocol". 2022.
    10.1109/icccn54977.2022.9868879
  4. Leijnse, A; Almeida, PS; Baquero, C. "Higher-order patterns in replicated data types". 2019.
    10.1145/3301419.3323971
  5. Enes, V; Almeida, PS; Baquero, C; Leitao, J. "Efficient Synchronization of State-based CRDTs". 2019.
    10.1109/icde.2019.00022
  6. Enes, V; Almeida, PS; Baquero, C. "The single-writer principle in crdt composition". 2017.
    10.1145/3166089.3168733
  7. Kassam, Z; Shoker, A; Almeida, PS; Baquero, C. "Aggregation Protocols in Light of Reliable Communication". 2017.
    10.1109/nca.2017.8171346
  8. Goncalves, R; Almeida, PS; Baquero, C; Fonte, V. "DottedDB: Anti-Entropy without Merkle Trees, Deletes without Tombstones". 2017.
    10.1109/srds.2017.28
  9. Younes, G; Almeida, PS; Baquero, C. "Compact Resettable Counters through Causal Stability". 2017.
    10.1145/3064889.3064892
  10. Enes, V; Baquero, C; Almeida, PS; Leitao, J. "Borrowing an Identity for a Distributed Counter". 2017.
    10.1145/3064889.3064894
  11. Shoker, A; Kassam, Z; Almeida, PS; Baquero, C. "Life Beyond Distributed Transactions on the Edge". 2016.
    10.1145/3017116.302274
  12. Enes, V; Baquero, C; Almeida, PS; Shoker, A. "Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition: Work in progress report". 2016.
    10.1145/2957319.2957374
  13. Younes, G; Shoker, A; Almeida, PS; Baquero, C. "Integration Challenges of Pure Operation-based CRDTs in Redis". 2016.
    10.1145/2957319.2957375
  14. Baquero, C; Almeida, PS; Lerche, C. "The problem with embedded CRDT counters and a solution". 2016.
    10.1145/2911151.2911159
  15. Gonçalves, R; Almeida, PS; Baquero, C; Fonte, V. "Concise Server-Wide Causality Management for Eventually Consistent Data Stores". 2015.
    10.1007/978-3-319-19129-4_6
  16. Shoker, A; Almeida, PS; Baquero, C. "Exactly-Once Quantity Transfer". 2015.
    10.1109/srdsw.2015.10
  17. Almeida, PS; Shoker, A; Baquero, C. "Efficient State-Based CRDTs by Delta-Mutation". 2015.
    10.1007/978-3-319-26850-7_5
  18. Baquero, C; Almeida, PS; Shoker, A. "Making operation-based CRDTs operation-based". 2014.
    10.1145/2596631.2596632
  19. Almeida, PS; Shoker, A; Baquero, C. "Efficient state-based CRDTs by decomposition". 2014.
    10.1145/2596631.259663
  20. Sergio Almeida, PS; Baquero, C; Goncalves, R; Preguica, N; Fonte, V. "Scalable and Accurate Causality Tracking for Eventually Consistent Stores". 2014.
    10.1007/978-3-662-43352-2_6
  21. Baquero, C; Almeida, PS; Shoker, A. "Making Operation-Based CRDTs Operation-Based". 2014.
    10.1007/978-3-662-43352-2_11
  22. Jesus, P; Baquero, C; Almeida, PS; Jesus, P.; Baquero, C.; Almeida, P.S.. "Fault-Tolerant Aggregation for Dynamic Networks". 2010.
    10.1109/srds.2010.13
  23. Almeida, PS; Baquero, C; Fonte, V. "Panasync: dependency tracking among file copies". 2000.
    10.1145/566726.566729
  24. Almeida, PS; Almeida, P.S.. "Type-checking balloon types". 1999.
    10.1016/s1571-0661(04)80064-1
  25. Almeida, PS. "Balloon Types: Controlling Sharing of State in Data Types". 1997.
    10.1007/BFb0053373
Journal article
  1. Paulo Sérgio Almeida. "Approaches to Conflict-free Replicated Data Types". ACM Computing Surveys (2025): https://doi.org/10.1145/3695249.
    10.1145/3695249
  2. Rodrigues, A; Shtul, A; Baquero, C; Almeida, PS. "Time-limited Bloom Filter". CoRR (2023):
  3. Almeida, PS. "A Case for Partitioned Bloom Filters". IEEE TRANSACTIONS ON COMPUTERS (2023): https://www.authenticus.pt/P-00S-W30.
    10.1109/tc.2022.3218995
  4. Almeida, PS; Baquero, C. "Scalable eventually consistent counters over unreliable networks". DISTRIBUTED COMPUTING (2019):
    10.1007/s00446-017-0322-2
  5. Paulo Sérgio Almeida; Ali Shoker; Carlos Baquero. "Delta state replicated data types". Journal of Parallel and Distributed Computing 111 (2018): 162-173. https://doi.org/10.1016/j.jpdc.2017.08.003.
    10.1016/j.jpdc.2017.08.003
  6. Almeida, PS; Baquero, C; Farach Colton, M; Jesus, P; Mosteiro, MA; Almeida, P.S.; Baquero, C.; et al. "Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution". DISTRIBUTED COMPUTING 7109 LNCS (2017): 513-527. http://www.scopus.com/inward/record.url?eid=2-s2.0-84055212599&partnerID=MN8TOARS.
    10.1007/s00446-016-0288-5
  7. Baquero, C; Almeida, PS; Cunha, A; Ferreira, C. "COMPOSITION IN STATE-BASED REPLICATED DATA TYPES". BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE (2017):
  8. Jesus, P; Baquero, C; Almeida, PS. "Flow updating: Fault-tolerant aggregation for dynamic networks". JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING (2015):
    10.1016/j.jpdc.2015.02.003
  9. Jesus, P; Baquero, C; Almeida, PS. "A Survey of Distributed Data Aggregation Algorithms". IEEE COMMUNICATIONS SURVEYS AND TUTORIALS (2015):
    10.1109/comst.2014.2354398
  10. Preguiça, N.; Bauqero, C.; Almeida, P.S.; Fonte, V.; Gonçalves, R.. "Brief announcement: Efficient causality tracking in distributed storage systems with dotted version vectors". Proceedings of the Annual ACM Symposium on Principles of Distributed Computing (2012): 335-336. http://www.scopus.com/inward/record.url?eid=2-s2.0-84864999260&partnerID=MN8TOARS.
    10.1145/2332432.2332497
  11. Almeida, P.S.; Baquero, C.; Cunha, A.. "Fast distributed computation of distances in networks". Proceedings of the IEEE Conference on Decision and Control (2012): 5215-5220. http://www.scopus.com/inward/record.url?eid=2-s2.0-84874280419&partnerID=MN8TOARS.
    10.1109/CDC.2012.6426872
  12. Borges, M.; Jesus, P.; Baquero, C.; Almeida, P.S.. "Spectra: Robust estimation of distribution functions in networks". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7272 LNCS (2012): 96-103. http://www.scopus.com/inward/record.url?eid=2-s2.0-84862744611&partnerID=MN8TOARS.
    10.1007/978-3-642-30823-9_8
  13. Baquero, C; Almeida, PS; Menezes, R; Jesus, P; Baquero, C.; Almeida, P.S.; Menezes, R.; Jesus, P.. "Extrema Propagation: Fast Distributed Estimation of Sums and Network Sizes". IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS 23 4 (2012): 668-675. http://www.scopus.com/inward/record.url?eid=2-s2.0-84858071468&partnerID=MN8TOARS.
    10.1109/tpds.2011.209
  14. Baquero, C.; Almeida, P.S.; Menezes, R.. "Fast estimation of aggregates in unstructured networks". Proceedings of the 5th International Conference on Autonomic and Autonomous Systems, ICAS 2009 (2009): 88-93. http://www.scopus.com/inward/record.url?eid=2-s2.0-67650694645&partnerID=MN8TOARS.
    10.1109/ICAS.2009.31
  15. Jesus, P.; Baquero, C.; Almeida, P.S.. "Fault-tolerant aggregation by flow updating". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5523 LNCS (2009): 73-86. http://www.scopus.com/inward/record.url?eid=2-s2.0-68749103682&partnerID=MN8TOARS.
    10.1007/978-3-642-02164-0_6
  16. Cardoso, J.C.S.; Baquero, C.; Almeida, P.S.. "Probabilistic estimation of network size and diameter". Proceedings - 2009 4th Latin-American Symposium on Dependable Computing, LADC 2009 (2009): 33-40. http://www.scopus.com/inward/record.url?eid=2-s2.0-70350751589&partnerID=MN8TOARS.
    10.1109/LADC.2009.19
  17. Almeida, P.S.; Baquero, C.; Fonte, V.. "Interval tree clocks: A logical clock for dynamic systems". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5401 LNCS (2008): 259-274. http://www.scopus.com/inward/record.url?eid=2-s2.0-58849107804&partnerID=MN8TOARS.
    10.1007/978-3-540-92221-6_18
  18. Almeida, P.S.; Baquero, C.; Preguiça, N.; Hutchison, D.. "Scalable Bloom Filters". Information Processing Letters 101 6 (2007): 255-261. http://www.scopus.com/inward/record.url?eid=2-s2.0-33846186007&partnerID=MN8TOARS.
    10.1016/j.ipl.2006.10.007
  19. Almeida, P.S.; Baquero, C.; Fonte, V.. "Improving on version stamps". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4806 LNCS PART 2 (2007): 1025-1031. http://www.scopus.com/inward/record.url?eid=2-s2.0-38349026687&partnerID=MN8TOARS.
    10.1007/978-3-540-76890-6_29
  20. Almeida, J.B.; Almeida, P.S.; Baquero, C.. "Bounded version vectors". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3274 (2004): 102-116. http://www.scopus.com/inward/record.url?eid=2-s2.0-35048864528&partnerID=MN8TOARS.
    10.1007/978-3-540-30186-8_8
  21. Almeida, P.S.; Baquero, C.; Fonte, V.. "Version stamps - Decentralized version vectors". Proceedings - International Conference on Distributed Computing Systems (2002): 544-551. http://www.scopus.com/inward/record.url?eid=2-s2.0-0036375245&partnerID=MN8TOARS.
    10.1109/ICDCS.2002.1022304
  22. Noble, J; Vitek, J; Lea, D; Almeida, PS. "Aliasing in object oriented systems". OBJECT-ORIENTED TECHNOLOGY (1999):
    10.1007/3-540-46589-8_8
Preprint
  1. Almeida, PS. "A Framework for Consistency Models in Distributed Systems". 2024. https://www.authenticus.pt/P-017-YGQ.
  2. Almeida, PS; Shapiro, E. "The Blocklace: A Universal, Byzantine Fault-Tolerant, Conflict-free Replicated Data Type". 2024. https://www.authenticus.pt/P-010-42G.

Other

Other output
  1. Age-Partitioned Bloom Filters. 2020. Shtul, A; Baquero, C; Almeida, PS.
  2. Pure Operation-Based Replicated Data Types. 2017. Baquero, C; Almeida, PS; Shoker, A.
  3. Dotted Version Vectors: Logical Clocks for Optimistic Replication. 2010. Preguiça, NunoM.; Baquero, Carlos; Almeida, PauloSergio; Fonte, Victor; Gonçalves, Ricardo.
  4. Dependability in Aggregation by Averaging. 2010. Jesus, Paulo; Baquero, Carlos; Almeida, PauloSergio.
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2016 - 2024 Beyond Distributed Transactions through Exactly-Once Exchanges
Co-supervisor of Ziad A. Kassam
 MAP Doctoral Program in Computer Science (PhD)
Universidade do Minho, Portugal
2011 - 2018 Multi-Value Distributed Key-Value Stores
Co-supervisor of Ricardo Jorge Tomé Gonçalves
 MAP Doctoral Program in Computer Science (PhD)
Universidade do Minho, Portugal
2007 - 2012 Robust Distributed Data Aggregation
Co-supervisor of Paulo César de Oliveira Jesus
 MAP Doctoral Program in Computer Science (PhD)
Universidade do Minho, Portugal
2000 - 2009 Causality Tracking in Dynamic Distributed Systems
Co-supervisor of Victor Francisco Mendes de Freitas Gomes da Fonte
 Doutoramento em Informática (PhD)
Universidade do Minho, Portugal
Distinctions

Other distinction

1990 Prémio Eng. António de Almeida
Fundação Engenheiro António de Almeida, Portugal