José Paiva Proença

I am currently a postdoc affiliated with HASLab, University of Minho, working with Luís Barbosa. Until January 2016 I was also affiliated with Distrinet, KU Leuven, working mainly with Danny Hughes and Dave Clarke. My work is mainly on coordination of distributed components, often associated to the Reo coordination language, and on formal approaches to software product line engineering. More recently I have been working with binding and component models for embedded devices in the context of the LooCI middleware and micro PnP.

I graduated in University of Minho, Portugal, for a 5 year degree in Mathematics and Computer Science. I studied abroad for 6 months as an Erasmus student in Bristol University, UK. I defended my PhD in Leiden University in May 2011, for my work carried in CWI, Amsterdam, in the group for Foundations of Software Engineering.

Domains

High-Assurance Software

Projects

Lightkone

The LightKone EU project aims to develop a scientifically sound and industrially validated model for performing general purpose edge network calculations.

Lightweight Computation for Networks at the Edge

KLEE

Coalgebric modeling ad analysis for computational synthetic biology Project DataSheet

Coalgebraic modeling and analysis for computational synthetic biology

View all projects

Publications

Overview on Constrained Multiparty Synchronisation in Team Automata

Proença, J;

2023

Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Overview on Constrained Multiparty Synchronisation in Team Automata

Proença, J;

2024

FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2023

Realisability of Global Models of Interaction

ter Beek, MH;Hennicker, R;Proença, J;

2023

Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings

Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)

Proença, J;Edixhoven, L;

2023

CoRR

View all publications

Supervised theses

SMART PRICING: Development of a new pricing tool

Tiago Ferreira Nunes

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.