DEI Talks | “Natural and artificial trust for decision-making in human-machine teamwork” by Carolina Centeio Jorge

The talk entitled “Natural and artificial trust for decision-making in human-machine teamwork” will be given on 25 June at 11:00, in room B011.

About the Talk:

“Human-machine teams count on both humans and artificial agents to work together collaboratively. In human-human teams, we use trust to make decisions, such as which teammate should do which task, based on what we believe might be successful. Our prediction of task success is based on our beliefs of others’ trustworthiness, which can be divided into several dimensions, e.g., competence, willingness, external factors, etc.

As artificial teammates’ autonomy increases, the variation of interdependences in human-machine teams increases too. As such, team members need to consider the different possibilities to achieve task success as a team, making the best use of human-machine collaboration. It is then important that all members involved, both humans and machines, have the necessary beliefs of trust and trustworthiness to make decisions that ensure the team’s goal and mitigate possible risks. By formalising trust and trustworthiness beliefs, we can increase the transparency of decisions, either made by humans or machines.

In this talk, I will go over notions of trust, trustworthiness, interdependence and coactive design, all in the context of decision-making in human-machine teams. I will present some of our multidisciplinary research which allow us to increase our (and the machine’s) understandability of the human teammate when collaborating with a machine and, consequently, make the machine teammate more understandable to the human.”

About the Speaker:

Carolina Centeio Jorge is a Senior Data Scientist at Glintt Next in Portugal. She completed her PhD in the Interactive Intelligence group at Delft University of Technology (TU Delft), where she researched mental models and trust in human-AI teams, and was a visiting researcher at the University of Michigan. Carolina has been actively involved in academic service and research communities, including co-founding the MultiTTrust workshop series and serving on TU Delft’s Integrity Board. Having lived in Tokyo, Barcelona, and Delft, she values multidisciplinary and multicultural environments. Today, she combines her research background with industry practice, focusing on customer intelligence.

Entrance is free, no registration required.

Phd Thesis Defence in Digital Media (PDMD) | ”Digital Innovation in Healthcare in a Low-Resource Setting: The case of Mozambique”

Candidate:
Pinto Francisco Impito

Date, Time and Location:
19 June 2026, at 14:00, Sala de Atos, Faculdade de Engenharia da Universidade do Porto

Chair of the Examination Committee:
Pedro Nuno Ferreira da Rosa da Cruz Diniz (PhD), Full Professor in the Department of Informatics Engineering, Faculdade de Engenharia da Universidade do Porto.

Members:
Felisbela Maria Carvalho Lopes (PhD), Full Professor in the Department of Communication Sciences, Instituto de Ciências Sociais da Universidade do Minho;
Ivone Marília Carinhas Ferreira (PhD), Assistant Professor in the Department of Communication Sciences at the Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa;
Carla Susana Moiteiro Ganito Afonso (PhD), Associate Professor at the Faculdade de Ciências Humanas da Universidade Católica Portuguesa;
José Manuel Pereira Azevedo (PhD), Full Professor in the Department of Communication and Information Sciences at the Faculdade de Letras da Universidade do Porto (Supervisor);
Ricardo José Pinheiro Fernandes Morais (PhD), Assistant Professor in the Department of Communication and Information Sciences at the Faculdade de Letras da Universidade do Porto.

The thesis was co-supervised by Dr Vasco Francisco Japissane Cumbe, a lecturer at the Faculdade de Medicina da Universidade Católica de Moçambique.

Abstract:

Introduction:
The increasing complexity of health systems, combined with rapid technological advances, has transformed the ways digital tools are produced, disseminated, and used in healthcare. At the same time, the unprecedented availability of mobile devices and audiovisual resources has expanded access to technologies but also introduced new challenges, such as usage limitations due to structural and infrastructural issues, as well as inequalities in access.
Objective:
This study aimed to evaluate the implementation of digital technologies in health communication in Mozambique, focusing on the use of videos, with particular attention to doctor–patient interaction and medical training. The study implemented and assessed digital resources based on interactive simulation, education, and modeling, proposing a Mozambican digital innovation model adapted to the local context.
Methodology:
The research was conducted through three studies: (1) Interactive Simulation Video (ISV) in Medical Training, (2) Augmented Education Video (AEV) in Pre-ART Counseling for HIV-positive patients, and (3) Modeling Video (MV) in Rehabilitation Strategies. Study 1 evaluated the usability, educational value, and interactive experience of the ISV with medical students (N = 93), using an exploratory sequential approach. Study 2 employed a quasi-experimental design with an intervention group (IG = 23) and a comparison group (CG = 23), involving HIV-positive patients, using the Mann–Whitney U test to compare dimensions related to counseling quality. Study 3 followed a longitudinal design, with pre- and post-intervention assessments, to evaluate the impact of the MV on caregivers’ execution of motor recovery exercises for patients with stroke.
Results:
The studies revealed (1) high levels of agreement regarding realism, clinical relevance, and pedagogical usefulness (ISV); (2) statistically significant differences between groups (IG, CG) concerning time spent on care, appropriateness of counseling format, and decision-making for ART adherence (AEV); and (3) meaningful improvements after the intervention in strengthening practical learning and confidence in performing motor recovery procedures (MV). Overall, the research demonstrated that the structured and adapted use of digital resources, as proposed in this thesis, has high potential to transform communication processes in resource-limited environments.
Conclusion:
The research highlights the importance of structured and adapted integration of digital media in resource-limited contexts. Future investigations should explore more robust experimental designs, with larger samples and longitudinal follow-up, as well as assess the impact of these interventions on real clinical practice and treatment adherence indicators. The consolidation of the Mozambican digital innovation model can advance sustainable health education policies and promote the digital transformation of medical training in Mozambique.

Keywords: Digital innovation; Video; Medical Education; doctor–patient interaction; Mozambique.

Linking Great Partners 2026

On 12 June, the Faculty of Engineering of the University of Porto (FEUP) is hosting another edition of Linking Great Partners (LGP), an initiative within the Project Management Laboratory, a course unit that brings together more than 310 students from various degree programmes to develop innovative technological solutions.

Throughout the semester, the students, organised into multidisciplinary teams, have developed more than 30 proto-startups, of which around 20 were in collaboration with external organisations and 10 were based on their own ideas, working in a real-world environment with partners from industry and society. The event marks the culmination of this process, with public presentations of the projects as part of the LGP Challenge, structured around different stages that explore aspects such as technology, market, execution, ecosystems and social impact.

LGP is a pedagogical model based on “learning by innovating”, promoting experimentation, collaboration with real-world partners and the development of skills in innovation, entrepreneurship and project management.

The session will be streamed online: https://www.youtube.com/live/dNAwX2ONwGU 

PhD Thesis Defence in Informatics Engineering (ProDEI): ”Generative Approaches for Case-Based Explanations in Medical Image Analysis”

Candidate:
Maria Helena Sampaio de Mendonça Montenegro e Almeida

Date Time and Location:
16 June 2026, 14:30, Sala de Atos, Faculdade de Engenharia da Universidade do Porto

President of the Jury:
Carlos Miguel Ferraz Baquero-Moreno (PhD), Full Professor at the Department of Informatics Engineering of the Faculdade de Engenharia da Universidade do Porto

Members:
Peter Johannes Schüffler (PhD), Professor at the Technical University of Munich, Germany;
Carlos Jorge Andrade Mariz Santiago (PhD), Research Assistant at the Robotics and Engineering Systems Laboratory (LARSyS) and Invited Assistant Professor of the Department of Electrical and Computer Engineering of the Instituto Superior Técnico da Universidade de Lisboa;
Jaime dos Santos Cardoso (PhD), Full Professor of the Department of Electrical and Computer Engineering of the Faculdade de Engenharia da Universidade do Porto (Supervisor);
Luís Filipe Pinto de Almeida Teixeira (PhD), Associate Professor of the Department of Informatics Engineering of the Faculdade de Engenharia da Universidade do Porto.

Abstract:

Artificial Intelligence models have been extensively applied to medical image analysis tasks over the past years, achieving outstanding results. However, the obscure reasoning of the models and the lack of supportive evidence causes both clinicians and patients to distrust their predictions, hindering their adoption in clinical practice. In recent years, the research community has focused on developing explanations capable of revealing a model’s reasoning. Among the various types of explanations, case-based explanations emerged as particularly intuitive for medical practitioners. While these types of explanations have been widely researched, they still possess limitations that compromise their real-world application. The main goal of this thesis is to overcome the limitations of medical case-based explanations, enabling their deployment in clinical practice.

To identify the main weaknesses of case-based explanations, we conduct a literature review on models that provide such explanations in healthcare. Through the analysis of existing works, we verify that the explanations raise privacy concerns by sharing sensitive images of patients, and lack the interactiveness required for clinicians to engage with the explanation. Furthermore, most works do not evaluate nor clinically validate the explanations through user studies with clinicians. Targeting these limitations, we propose deep generative models to obtain privacy-preserving, controllable and interactive explanations to explain the decisions of deep learning models.

To propose a privacy-preserving system for safely sharing case-based explanations, we start by reviewing the literature on image anonymisation techniques and identifying their vulnerabilities. In particular, we identify vulnerabilities by proposing two privacy attacks: a membership inference attack targeting deep generative models that generate synthetic images, and a superimposed image decomposition model to reverse the common anonymisation strategy of image averaging. After outlining the requirements that a privacy-preserving system for medical case-based explanations must fulfil, we propose privacy-preserving models capable of simultaneously anonymising medical images and generating counterfactual explanations. The proposed models rely on disentangled representation learning to separate identity and clinical traits, enabling their individual manipulation. Through this strategy, we can also separate and manipulate causal factors related with the clinical task to obtain controllable counterfactual explanations. To obtain interactive counterfactual explanations, we propose models to manipulate regions of medical images according to a segmentation mask, measuring their impact on a prediction. To evaluate the proposed models, we perform experiments on medical datasets like chest radiographs, verifying the models’ capacity to manipulate medical images for the purposes of generating explanations.

Finally, to show the wide applicability of the proposed models beyond their original purpose of generating case-based explanations, we apply them as decision-support systems in healthcare. More specifically, we adapt the models for predicting the aesthetic outcomes of breast cancer treatment, to facilitate the patients’ choice of treatment. Furthermore, we conduct a clinical study with breast surgeons from various health institutes to assess the predictions of the proposed models.

To conclude, through various contributions on explainable Artificial Intelligence and decision-support systems, this thesis contributes towards the safe use of trustworthy and privacy-preserving Artificial Intelligence models in healthcare.

Phd Thesis Defence in Digital Media (PDMD): ”The Fourier Qualia Space: Interaction, Ambiguity, and Hierarchy in Music Harmony”

Candidate: Samuel Filipe da Silva Pereira Oliveira

Date, Time and Location:
15 June 2026, at 14:30, in Sala de Atos of the Faculty of Engineering of the Universidade do Porto

President of the Jury:
António Fernando Vasconcelos Cunha Castro Coelho (PhD), Associate Professor with Habilitation, Department of Informatics Engineering at the Faculty of Engineering, Universidade do Porto.

Members:
Matt Chiu (PhD), Assistant Professor of Music Theory of the Baldwin Wallace University, United States of America;

Martin Alois Rohrmeier (PhD), Associate Professor of the Digital and Cognitive Musicology Lab at the EPFL – Swiss Federal Institute of Technology, Switzerland;

Isabel Maria Antunes Pires (PhD), Assistant Professor, Department of Musical Sciences at the Faculty of Social and Human Sciences, Universidade Nova de Lisboa;

Gilberto Bernardes de Almeida (PhD), Assistant Professor, Department of Informatics Engineering at the Faculty of Engineering, Universidade do Porto (Supervisor);

António Humberto Sá Pinto (PhD), Invited Assistant Professor, Department of Informatics Engineering at the Faculty of Engineering, Universidade do Porto.

The thesis was co-supervised by José António Oliveira Martins (PhD), Assistant Professor at the Faculty of Arts of the Universidade de Coimbra.

Abstract:

Music theory has long recognised harmonic qualities and developed tools for their analytical identification, yet existing frameworks provide no unified method for measuring their relative proportions, representing them within ambiguous passages, or comparing their deployment across distinct repertoires that currently demand separate methodologies. These limitations manifest differently across analytical traditions. Tonal analysis captures functional relationships effectively, yet falters when triads or diatonic collections appear without the progressions that would render them functional. Set theory provides rigorous measurement through interval vectors and set-class membership, yet fails to explain why two sonorities sound different whilst sharing identical interval vectors. What unites these shortcomings is a common conceptual gap: none of these frameworks treats ambiguity—passages where multiple harmonic qualities coexist—as a compositional resource.

To address these limitations, this thesis developed the Fourier Qualia Space, a geometrical framework that reconceptualises harmonic qualities as measurable qualia relationships within mathematically determined space. The discrete Fourier transform converts pitch-class sets into coefficients capturing specific harmonic qualities, which dimensional reduction then projects into a hexagonal space where proximity signals qualia resemblance and centrality denotes ambiguity. This geometric representation enables analysis at multiple scales, ranging from phrase-level examination of Schoenberg’s Op. 19/1, through hierarchical wavescape constructions for Bach, Debussy, and Webern, to diachronic corpus analysis spanning 1548–1968.

Applying this methodology across four centuries of Western music confirmed progressive dissolution of traditional tonal structures and provided novel quantitative evidence for how alternative organisational principles emerged: qualia sequences converged progressively towards Zipfian distributions characteristic of efficient communication systems. Among composers whose distributions most closely approximate this pattern, Debussy emerged as a paradigmatic case: statistical analysis of his harmonic practice identified three systematic roles governing qualia deployment, demonstrating that his music operates through identifiable organisational principles. Most significantly for the conceptual reframing proposed at the outset, qualia ambiguity functions not as analytical indeterminacy but as a compositional resource deployed strategically across the repertoires examined.

These findings carry broader implications. The identification of language-like patterns in Debussy’s deployment of harmonic qualia exemplifies what the Fourier Qualia Space makes possible: if one composer working without tonal syntax constraints nonetheless deployed harmonic qualities according to measurable principles, others may have done likewise—a hypothesis the framework can now test across stylistic boundaries that previously demanded entirely separate methodologies.

Keywords: Fourier Qualia Space; harmonic qualia; qualia ambiguity; discrete Fourier transform; Zipf’s law; harmonic syntax; computational musicology.

 

DEI Talks | “Fifty Years of the Algorithm Selection Problem: John Rice’s Enduring Legacy” by Prof. Kate Smith-Miles (University of Melbourne)

The talk entitled “Fifty Years of the Algorithm Selection Problem: John Rice’s Enduring Legacy” will be given on 27 May at 11:00 am in room B008, moderated by Prof. Carlos Soares (DEI).

About the Talk:

“The seminal paper “The Algorithm Selection Problem” by John Rice was published 50 years ago. This paper formalizes the problem of selecting the best algorithm for a given problem, which is important in Machine Learning, Optimization and many areas of Computer Science. In this talk, I discuss the paper, its impact and challenges it raises which are still open today.”

About the Speaker:

Kate Smith-Miles AO FAA is Pro Vice-Chancellor (Research Capability) and a Melbourne Laureate Professor in the School of Mathematics and Statistics at The University of Melbourne. She is also Director of the ARC Training Centre in Optimisation Technologies, Integrated Methodologies, and Applications (OPTIMA). She has previously held a five year Laureate Fellowship from the Australian Research Council with a Georgina Sweet Award, and has held positions as President of the Australian Mathematical Society (2016-2018), a member of the Australian Research Council College of Experts (2017-2019), and Associate Dean (Enterprise and Innovation) in the University’s Faculty of Science (2019-2023). Prior to joining The University of Melbourne in September 2017, she was Professor of Applied Mathematics at Monash University, where she was also Head of the School of Mathematical Sciences (2009-2014), and inaugural Director of the Monash Academy for Cross & Interdisciplinary Mathematical Applications (MAXIMA) from 2013-2017. She was also previously Head of the School of Engineering and Information Technology at Deakin University (2006-2009) with a Chair in Engineering. She obtained her first Professorship in Information Technology at Monash University, where she worked from 1996-2006. Professorships in three disciplines (mathematics, engineering, and information technology) have given her an interdisciplinary breadth reflected in much of her research.

YACC reaches the final of the Bosch Future Mobility Challenge 2026 and achieves the best result among the debutant teams

The team “YACC – Yet Another Careless Car” achieved an excellent result in the final stage of the Bosch Future Mobility Challenge 2026, securing a place among the 8 finalist teams and finishing the competition in 6th place overall.

The team from the Department of Informatics Engineering (DEI) at FEUP also stood out as the best among all the newcomer teams in the 2026 edition. With this result, the team was awarded ownership of the vehicle used in the competition and a wildcard entry for direct participation in the next edition of the challenge.

The YACC team, the only Portuguese representative in the final stage of the competition, was composed of students from the Bachelor’s Degree in Informatics and Computing Engineering (L.EIC): Joana Azevedo Louro, Leonor Silva Bidarra, Luís Miguel Costa Gonçalves, Luís Miguel Rosa Santos, and Luís Wolffrom Barbosa, under the mentorship of Professor Bruno Lima. The initiative also benefited from the involvement of Professor Ricardo Cruz, who has been supporting the development of DEI activities in the field of autonomous vehicles.

The Bosch Future Mobility Challenge is an international technical competition promoted by the Bosch Engineering Center Cluj-Napoca, in Romania, which challenges university teams to develop autonomous driving and connectivity algorithms using 1:10 scale vehicles. During the final stage, teams test their solutions in scenarios that simulate a smart city, including autonomous driving, navigation at intersections, traffic sign interpretation, and interaction with other vehicles and pedestrians.

The 2026 edition was considered by the organizers to be the most competitive ever. Out of 141 applicant teams, only 22 reached the final stage, making YACC’s journey even more remarkable in a highly demanding international technical and scientific environment.

By achieving this result, YACC reinforces the presence of FEUP and DEI in one of the most prestigious international competitions in the field of autonomous driving and intelligent systems.
More information about the team’s journey can be followed on their Instagram page: https://www.instagram.com/yaccbfmc/

DEI Talks | “The 2025 Turing Award: Secret Key Sharing Using Quantum Mechanics” by Prof. Sagar Pratapsi (DEI/FEUP)

The talk entitled “The 2025 Turing Award: Secret Key Sharing Using Quantum Mechanics” will take place on June 3rd at 14:30, in room B004 . The session will be moderated by Prof. Ana Paiva (DEI).

About the Talk:

The 2025 Turing Award was awarded this year to Charles H. Bennett and Gilles Brassard for their work in quantum cryptography. In their 1984 paper, they introduced the famous BB84 protocol, showing how two parties can securely share a cryptographic key. The security of this protocol is guaranteed by the laws of quantum physics themselves.
In this talk, the speaker will explain this protocol and its significance. No advanced knowledge of quantum mechanics is required.

About the Speaker:

Sagar Silva Pratapsi is an Assistant Professor at the Department of Informatics Engineering (DEI) at FEUP. His research focuses on quantum computing and quantum information, particularly on the fundamental principles of quantum mechanics, quantum system control, and related algorithms.
He completed his PhD at Instituto Superior Técnico in 2024 and served as a Visiting Assistant Professor at the University of Coimbra until 2026, where he taught courses in quantum computing and quantum information. He was also a visiting research student at the University of California, Berkeley in 2024, funded by the Luso-American Development Foundation, and a visiting student at the University of Maryland, Baltimore in 2023, supported by a doctoral fellowship from the “la Caixa” Foundation.
Before his PhD, he worked as a Research Analyst at the European Central Bank. He has received several distinctions, including a scholarship from the Gulbenkian Foundation’s New Talents in Mathematics Programme, and is a medalist in the International Physics Olympiad.

DEI Talks | “Developing high-risk AI systems for mental health applications” by Prof. Lars Bongo (UiT The Arctic University of Norway)

The talk entitled “Developing high-risk AI systems for mental health applications” will be given on 21 May at 2.30 pm in room I-105, moderated by Prof. António Coelho (DEI).

About the talk:

“In the TRUSTING project, we are developing a speech-based tool to predict relapse in psychosis. The tool is being designed for six languages and will be evaluated in a clinical trial. While large language models offer promising opportunities for cognitive testing, their use in high-risk AI systems raises significant challenges. These include ensuring safety, trustworthiness, and compliance with emerging AI regulations. In this talk, I will present the key challenges we encounter in data collection, infrastructure development, and cognitive test design, and reflect on the added complexity of developing high-risk AI systems across multiple languages. Finally, I will present our design principles and lessons learned.”

About the Speaker:

Dr. Lars Ailo Bongo is currently a Professor in health technology at the Department of Computer Science, UiT The Arctic University of Norway. His main research interest is to build and experimentally evaluate infrastructure systems that support the methods under development by our bioinformatics and health science collaborators. He is the principal investigator in the Health Data Lab. Bongo is also active in building a culture for entrepreneurship at UiT, He is the co-founder of Medsensio AS, innovation coordinator in SFI Visual Intelligence, and the co-founder of the Digital Technology Innovation Lab at UiT. Bongo has an adjunct Professor position at Sámi University of Applied Sciences, where he recently co-founded the Sámi AI Lab that aims to use AI to improve the Sámi society for the better.

DEI Talks | “Hybrid neural systems: neuromorphic computing for real-time control of brain activity” by Paulo Aguiar (i3S-U.Porto)

The talk, entitled “Hybrid neural systems: neuromorphic computing for real-time control of brain activity“, will be given on 15 June at 2:00 pm in room I-105. Henrique Lopes Cardoso (DEI) will chair the session.

Abstract:

The brain is a powerful model for fast, adaptive and energy-efficient information processing. Translating these principles into computing systems is a major challenge with direct relevance for the next generation of intelligent neural interfaces. In this talk I will present work from my research group where we developed a hybrid neural system combining biological neurons with neuromorphic hardware, where artificial spiking neurons process ongoing brain activity in real time. By converting biological signals into spike-based representations, we trained spiking neural networks (SNNs) to identify short-lived electrophysiological patterns and deployed them on neuromorphic hardware. This system was integrated with open-source electrophysiology tools to create a closed-loop pipeline capable of detecting ongoing brain states and triggering targeted stimulation with low latency. Using this approach, we show that hybrid systems linking artificial and biological neurons can support real-time interaction with living neural circuits. These results provide a proof-of-concept for accessible neuromorphic neural interfaces and open new possibilities for adaptive, low-power and biologically inspired computing technologies.

About the Speaker:

Paulo Aguiar graduated in Physics (U. Lisbon, PT), and completed his PhD in Computational Neuroscience at the Institute for Adaptive and Neural Computation (U. Edinburgh, UK). Since 2016, he leads the Neuroengineering and Computational Neuroscience Lab (i3S-UPorto, PT). His group uses a bottom-up approach, focusing on understanding how neural circuits process and store information. The team combines expertise in neurobiology, advanced analytical methods and computational models, to reveal and repair neural function. He has already been the (co)PI/Task Leader in 20+ national and international research projects obtained through competitive calls.