معرفی
Ana Nunes Alonso is a researcher at the High Assurance Software Lab (HASLab) and an Invited Assistant Professor at the University of Minho, where she lectures in courses on Fault Tolerance, Distributed Systems and Operating Systems. She has been affiliated with INESC TEC since February 1, 2012, contributing to multiple National and European research and innovation projects in collaboration with industry in the Software Engineering, Insurance and Energy domains.
Her research interests focus on dependable data management and data processing systems, with particular expertise in various fault tolerance mechanisms. She has published extensively on distributed agreement protocols, privacy-preserving machine learning applications, and database system architectures.
Her recent publications demonstrate a strong focus on practical implementations of theoretical concepts, particularly in distributed systems and database technologies. Her work on TADA (Toolkit for Approximate Distributed Agreement) addresses challenges in distributed consensus, while her research on TiQuE and LOOM explores innovative approaches to database system design and transaction processing.
Ana has supervised multiple master's thesis students on topics including distributed query processing, consensus algorithms, blockchain permissions, and SQL interpretation. Her work bridges academic research with practical industry applications, particularly in the insurance and energy sectors where data reliability and security are critical.
She is affiliated with the High-Assurance Software Lab (HASLab) at INESC TEC, a research center focused on developing trustworthy software systems through rigorous engineering approaches and formal methods.
