Paulo Sérgio Almeida

Paulo Sérgio Almeida is an Assistant Professor at the Department of Informatics at University of Minho, and a 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, namely in causality tracking mechanisms, eventually consistent non-relational databases, fault-tolerant distributed aggregation algorithms, bloom filters, and distributed algorithms in graphs. In recent years the main focus of research has been on Conflict-free Replicated Data Types.

Domains

High-Assurance Software Computer Science and Engineering

Projects

Lightkone

The LightKone EU project aims to develop a scientifically sound and industrially validated model for performing general purpose edge network calculations.

Lightweight Computation for Networks at the Edge

Publications

The Blocklace: A Universal, Byzantine Fault-Tolerant, Conflict-free Replicated Data Type

Almeida, PS;Shapiro, E;

2024

CoRR

Approaches to Conflict-free Replicated Data Types

Almeida, PS;

2023

CoRR

An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises

Barros, M;Ramos, M;Gomes, A;Cunha, A;Pereira, J;Almeida, PS;

2023

FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2023

Time-limited Bloom Filter

Rodrigues, A;Shtul, A;Baquero, C;Almeida, PS;

2023

38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023

View all publications

Supervised theses

Design, integration and experimental validation of a 2-bit Reconfigurable Intelligent Surface

Ricardo Carvalho Araújo

M - 2023

UP-FEUP

Centres

High-Assurance Software

At the High-Assurance Software Laboratory (HASLab), we improve practice through theory, creating and implementing software that goes beyond mere functionality: we ensure it is correct, resilient, and secure against failures and attacks. Our team of researchers, scientists, and engineers has proven expertise in software engineering, developing methods and tools to design and integrate robust software; in distributed systems, exploring distribution and replication to ensure scalability and reliability; and in information security, addressing cybersecurity challenges and improving systems with advanced, secure cryptographic protocols, thus minimising vulnerabilities. With a multidisciplinary approach supported by solid theoretical principles, we develop innovative solutions for critical software, secure cloud infrastructures, and privacy-aware big data management, driving scientific advancement, innovation, and high-level consultancy. In addition, we complement our core expertise with work in human-computer interaction, programming languages, computational mathematics, and quantum computing - because we believe the future of trustworthy software is built on knowledge and innovation.