Francisco Moura

I am Associate Professor at Universidade do Minho at the HASLab/ INESC TEC. My academic life revolves much around Systems Software. First it was compiler design for vector processor, then operating systems for multiple processors, then middleware and system services for mobile and distributed systems. Coming from a computer science group with emphasis on program correctness, I always have been curious about the role of performance (efficiency, timeliness, availability, etc.) on the architecture, design and configuration of software systems.

I am also co-founder of Eurotux SA, a company with focus on open software and systems and network administration. Since then it has evolved into and highly-scalable, cloud-based systems support.

Domains

High-Assurance Software Computer Science and Engineering

Publications

Operating system support for parallel computation

deMoura, FS;

1995

COMPUTING SYSTEMS IN ENGINEERING

A MOBILE-AGENT BASED ARCHITECTURE FOR VIRTUAL ENTERPRISES

Brito, L;Neves, J;Moura, F;

2001

E-BUSINESS AND VIRTUAL ENTERPRISES: MANAGING BUSINESS-TO-BUSINESS COOPERATION

CONCURRENCY ANNOTATIONS IN C++

BAQUERO, C;MOURA, F;

1994

SIGPLAN NOTICES

Improving causality logging in mobile computing networks

Baquero, C;Moura, F;

1998

Mobile Computing and Communications Review

View all publications

Supervised theses

Process improvement by data-driven decision-making

Maria Alexandra Ramalho de Oliveira

D - 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.