Paula Cristina Rodrigues

Since 2014, I have been working at the High-Assurance Software Laboratory which is one of the thirteen integrated R&D centres of INESC TEC and it is located in the Gualtar Campus of the University of Minho, in Braga. At HASLab, I assist the Communication Service (SCOM) of INESC TEC in several tasks related to the communication and image of the institute. I also promote the interaction between HASLab and SCOM and also with the Communication, Information and Image Office (GCII) of the University of Minho. Besides, I have also been working on the communication and dissemination of Europeans projects such as the SafeCloud, LightKone and the CloudDBAppliance.

I hold a Degree in Communication Sciences from the Institute of Social Sciences of the University of Minho and a Master in Marketing and Strategy from the School of Economics and Management of the same university.

Domains

High-Assurance Software Communication Service

Projects

BigHPC

BigHPC aims at simplifying the management of computing and storage resources at HPC infrastructures, supporting Big Data and parallel computing applications, through a novel framework that can be seamlessly integrated with existing HPC centers and software stacks. The contributions of the project are expected to have a direct impact on science, industry and society, by accelerating scientific breakthroughs in different fields and increasing the competitiveness of companies through better data analysis and improved decision-support processes.

A Management Framework for Consolidated Big Data and HPC

PAStor

The PAStor project aims at providing a novel Software-Defined Storage (SDS) solution for HPC that can efficiently handle I/O flows from multiple AI workloads by automatically adjusting storage configurations and resources to dynamically meet application requirements. The proposed solution will be crucial to address the current storage performance bottleneck and fairness challenges of HPC infrastructures. The research output from PAStor will be released as an open-source prototype that will provide the first building block towards a novel storage architecture suited for the exascale computing infrastructure. By gathering the expertise of INESC TEC and Hood College researchers in the AI and distributed storage fields, and by including researchers from TACC and MACC with experience on managing HPC infrastructures, the project will produce new high quality research findings and advance the state-of-the-art for storage solutions currently deployed at HPC centers.

View all projects

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.

Communication Service

Communicating science can be challenging, but not for our Communication team. We all know the saying: "If something is not communicated, it doesn't exist." That’s why our team focuses on developing ideas, planning, organising, and coordinating both internal and external communication for our institution, ensuring that information about what we do reaches everyone. They contribute to our visibility by following established regulations and procedures, and play an active role in positioning our brand as a solid and reputable R&D institution. How? Through an approach focused on five main components: content, design and multimedia, events, participation in communication working groups, and dissemination of national or European projects, as well as translation. The Communication team ensures that scientific communication gets the attention it deserves, fostering stronger bonds with civil society and fighting misinformation.