António Luís Pinto Ferreira de Sousa

I am an Assistant Professor at the Department of Informatics of the University of Minho and a Senior Researcher at HASLab/INESC TEC.

My research interests are in dependable distributed systems, in particular with application to dependable distributed database systems, large scale distributed systems and cloud computing management.

Domains

High-Assurance Software

Projects

AURORA

RISC2

The RISC2 project aims to improve the relationship between the research and innovation communities of Europe and Latin America, promoting scientific cooperation for innovation in these regions, with a focus on HPC applications and infrastructure deployment, allowing an exchange of best practices in HPC between the two regions and strengthening the community in this area.

A network for supporting the coordination of High-Performance Computing research between Europe and Latin America

View all projects

Publications

Generative Adversarial Networks in Healthcare: A Case Study on MRI Image Generation

Cepa, B;Brito, C;Sousa, A;

2023

2023 IEEE 7TH PORTUGUESE MEETING ON BIOENGINEERING, ENBENG

DEDISbench: A benchmark for deduplicated storage systems

Paulo, J;Reis, P;Pereira, J;Sousa, A;

2012

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Optimistic total order in wide area networks

Sousa, A;Pereira, J;Moura, F;Oliveira, R;

2002

21ST IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS

Testing the dependability and performance of group communication based database replication protocols

Sousa, A;Pereira, J;Soares, L;Correia, A;Rocha, L;Oliveira, R;Moura, F;

2005

2005 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS

View all publications

Supervised theses

AI for the next-generation manufacturing: applications in scheduling and process control

Nuno André Azevedo Marques

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.