Ana Nunes Alonso

I am a researcher at the High Assurance Software Lab (HASLab) and an Invited Assistant Professor at the University of Minho, where I lecture in courses in Fault Tolerance, Distributed Systems and Operating Systems. My research interests include dependable data management and data processing systems and different fault tolerance mechanisms.

I have contributed to multiple National and European research and innovation projects in collaboration with industry in the Software Engineering, Insurance and Energy domains.

Domains

High-Assurance Software Computer Science and Engineering Power and Energy Systems Systems Engineering and Management

Projects

Cloud-Setup

The MOG CLOUD SETUP aims to develop tools for post-production of high quality audiovisual content for the television industry that allow the automation in inserting and/or replacing content in TV programming and that can work both inside a radio broadcast station as well as in a cloud-based environment. This project is of extreme importance for the television and audiovisual content industries as it allows the automation of processes that are extremely expensive nowadays. This way, it will facilitate and speed up the content formatting that must be displayed in multiple distribution platforms. Project Datasheet

PLATAFORMA DE PREPARAÇÃO DE CONTEÚDOS AUDIOVISUAIS PARA INGEST NA CLOUD

CloudDBAppliance

The project aims at producing a European Cloud Database Appliance for providing a Database as a Service able to match the predictable performance, robustness and trustworthiness of on premise architectures, such as those based on mainframes. The project will evolve cloud architectures to increase the uptake of cloud technology by providing the robustness, trustworthiness, and performance required for applications currently considered too critical to be deployed on existing clouds.

European Cloud In-Memory Database Appliance with Predictable Performance for Critical Applications

View all projects

Publications

LOOM: A Closed-Box Disaggregated Database System

Coelho, F;Alonso, AN;Ferreira, L;Pereira, J;Oliveira, R;

2023

PROCEEDINGS OF12TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE AND SECURE COMPUTING, LADC 2023

TADA: A Toolkit for Approximate Distributed Agreement

da Conceiçao, EL;Alonso, AN;Oliveira, RC;Pereira, JO;

2023

DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, DAIS 2023

TiQuE: Improving the Transactional Performance of Analytical Systems for True HybridWorkloads

Faria, N;Pereira, J;Alonso, AN;Vilaca, R;Koning, Y;Nes, N;

2023

PROCEEDINGS OF THE VLDB ENDOWMENT

StAN: exploiting shared interests without disclosing them in gossip-based publish/subscribe

Matos, M;Nunes, A;Oliveira, R;Pereira, J;

2010

Proceedings of the 9th international conference on Peer-to-peer systems, IPTPS'10, San Jose, CA, USA, April 27, 2010

View all publications

Supervised theses

Development of a Service Management Framework for IT Services

Camila Melro de Sá Garcia

M - 2024

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.