Provas de Doutoramento em Engenharia Informática (ProDEI): ”Generative Approaches for Case-Based Explanations in Medical Image Analysis”

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

Data, Hora e Local:
16 de junho de 2026, às 14:30, na Sala de Atos da Faculdade de Engenharia da Universidade do Porto

Presidente do Júri:
Doutor Carlos Miguel Ferraz Baquero-Moreno, Professor Catedrático do Departamento de Engenharia Informática da da Faculdade de Engenharia da Universidade do Porto

Vogais:
Doutor Peter Johannes Schüffler, Professor at the Technical University of Munich, Germany;
Doutor Carlos Jorge Andrade Mariz Santiago, Assistente de Investigação no Laboratório de Robótica e Sistemas de Engenharia (LARSyS) e Professor Auxiliar Convidado do Departamento de Engenharia Eletrotécnica e de Computadores do Instituto Superior Técnico da Universidade de Lisboa;
Doutor Jaime dos Santos Cardoso, Professor Catedrático do Departamento de Engenharia Eletrotécnica e de Computadores da Faculdade de Engenharia da Universidade do Porto (Orientador);
Doutor Luís Filipe Pinto de Almeida Teixeira, Professor Associado do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto.

Resumo:

Nos últimos anos, modelos de Inteligência Artificial têm sido extensivamente explorados para tarefas de análise de imagem médica, alcançando resultados notáveis. No entanto, o raciocínio obscuro dos modelos e a falta de evidência que o suporte fazem com que clínicos e pacientes desconfiem das suas previsões, impedindo a sua adoção em contextos clínicos. Nos últimos anos, a comunidade científica tem-se focado no desenvolvimento de explicações capazes de revelar o raciocínio de um modelo. Entre os vários tipos de explicações, explicações baseadas em casos surgem como particularmente intuitivas para profissionais de saúde. Apesar destes tipos de explicações serem largamente explorados, ainda possuem limitações que comprometem a sua aplicação no mundo real. O objetivo principal desta tese é ultrapassar as limitações de explicações baseadas em casos médicas, permitindo a sua incorporação na prática clínica.

Para identificar as principais fraquezas de explicações baseadas em casos, realizámos uma revisão da literatura sobre modelos que fornecem estas explicações na área da saúde. Através da análise de trabalhos existentes, verificámos que as explicações geram preocupações sobre privacidade na partilha de imagens sensíveis de pacientes e não possuem a interatividade necessária para que clínicos se interessem pela explicação. Para além disso, a maioria dos trabalhos não avaliam nem validam as explicações através de estudos clínicos. Considerando estas limitações, propomos modelos generativos para obter explicações controláveis, interativas e que protegem a privacidade dos pacientes, para explicar as decisões de modelos de aprendizagem computacional.

Para propor um sistema de preservação de privacidade para partilhar explicações baseadas em casos de forma segura, começamos por rever a literatura científica sobre técnicas de anonimização de imagem, identificando as suas vulnerabilidades. Em particular, identificamos vulnerabilidades através da proposta de dois ataques de privacidade: um ataque direcionado a modelos generativos que geram imagens sintéticas, e um modelo de decomposição de imagens para reverter a média de imagens, frequentemente usada como estratégia de anonimização. Depois de definir os requisitos que um sistema de preservação de privacidade para explicações médicas tem de cumprir, propomos modelos de privacidade simultaneamente capazes de anonimizar imagens médicas e gerar explicações contrafactuais. O sistema proposto separa identidade e características clínicas em vetores independentes, permitindo a sua manipulação individual. Através desta estratégia, também podemos separar e manipular fatores causais, relacionados com a tarefa clínica, para obter explicações contrafactuais controláveis. Para obter explicações contrafactuais interativas, propomos modelos para manipular regiões de imagens médicas de acordo com uma máscara de segmentação, verificando o seu impacto numa previsão. Para avaliar os modelos propostos, realizámos experiências com dados médicos como radiografias torácicas, verificando a capacidade dos modelos de manipular imagens médicas considerando o objetivo de geração de explicações.

Por fim, para mostrar a grande aplicabilidade dos modelos propostos em contextos para além do seu propósito original de geração de explicações baseadas em casos, aplicámo-los como sistemas de apoio à decisão na saúde. Mais especificamente, adaptámos os modelos para prever os resultados estéticos de tratamento para cancro da mama, para facilitar a escolha de tratamento das pacientes. Realizámos também um estudo clínico com cirurgiões de mama de várias instituições de saúde para avaliar as previsões dos modelos propostos.

Para concluir, através de várias contribuições em Inteligência Artificial explicável e sistemas de suporte à decisão, esta tese contribui para o uso seguro de modelos de Inteligência Artificial confiáveis e que preservam privacidade na saúde.

Provas de Doutoramento em Media Digitais (PDMD) | ”The Fourier Qualia Space: Interaction, Ambiguity, and Hierarchy in Music Harmony”

Candidato:
Samuel Filipe da Silva Pereira Oliveira

Data, Hora e Local:
15 de junho de 2026, às 14:30, na Sala de Atos da Faculdade de Engenharia da Universidade do Porto

Presidente do Júri:
Doutor António Fernando Vasconcelos Cunha Castro Coelho, Professor Associado com Agregação da Faculdade de Engenharia da Universidade do Porto

Vogais:
Doctor Matt Chiu, Assistant Professor of Music Theory of the Baldwin Wallace University, United States of America;

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

Doutora Isabel Maria Antunes Pires, Professora Auxiliar do Departamento de Ciências Musicais da Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa;

Doutor Gilberto Bernardes de Almeida, Professor Auxiliar do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto (Orientador);

Doutor António Humberto Sá Pinto, Professor Auxiliar Convidado do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto.

Resumo:

A teoria musical há muito reconhece a existência de qualidades harmónicas e desenvolveu ferramentas para a sua identificação analítica; contudo, os enquadramentos teóricos existentes não oferecem formas de medir as suas proporções relativas, representar a sua coexistência em passagens ambíguas, ou comparar a sua utilização em diferentes repertórios. Estas limitações manifestam-se de formas diferentes consoante as tradições analíticas. Por exemplo, a análise tonal capta eficazmente as relações funcionais, mas revela-se inadequada quando tríades ou colecções diatónicas surgem sem as progressões que lhes conferem funcionalidade. Por seu turno, a teoria dos conjuntos proporciona a medição rigorosa de vectores intervalares, mas não explica por que razão duas sonoridades soam diferentes apesar de partilharem vectores intervalares. O que une estas insuficiências é uma lacuna conceptual comum: nenhum destes enquadramentos trata passagens ambíguas—momentos musicais onde múltiplas qualidades harmónicas coexistem—como um recurso composicional.

Para dar resposta a estas limitações, a presente tese desenvolve o Espaço Qualia de Fourier, um enquadramento geométrico que reconceptualiza qualidades harmónicas como relações de qualia mensuráveis num espaço determinado matematicamente. Para tal, a transformada discreta de Fourier converte conjuntos de classes de altura em coeficientes que captam qualidades harmónicas específicas, os quais são depois projectados, através de redução dimensional, num espaço hexagonal, onde a proximidade sinaliza semelhança de qualia e a centralidade denota ambiguidade. Esta representação geométrica permitiu-nos realizar análises em múltiplas escalas, tal como a nível frásico, no Op. 19/1 de Schoenberg, passando por construções hierárquicas (wavescapes) em Bach, Debussy e Webern, até à análise diacrónica de corpus, que abrangeu o período de 1548 a 1968.

A aplicação desta metodologia a quatro séculos de música ocidental confirmou a dissolução progressiva das estruturas tonais tradicionais e forneceu uma nova evidência sobre princípios organizacionais alternativos: ao longo dos séculos, as sequências de qualia convergiram gradualmente para distribuições zipfianas características de sistemas de comunicação eficientes. Entre os compositores cujas distribuições mais se aproximam deste padrão, Debussy emergiu como um caso paradigmático: a análise estatística da sua prática harmónica identificou três funções sistemáticas que definem a sua utilização dos qualia, demonstrando que a sua música opera segundo princípios organizacionais identificáveis. Aspecto particularmente significativo para a reconceptualização proposta no início, a ambiguidade de qualia funciona não como indeterminação analítica, mas como um recurso composicional estrategicamente mobilizado nos repertórios examinados.

Estas conclusões comportam implicações mais amplas. A identificação de padrões semelhantes aos da linguagem na utilização dos qualia harmónicos por Debussy exemplifica o que o Espaço Qualia de Fourier torna possível: se um compositor, operando sem os constrangimentos da sintaxe tonal, utilizou qualidades harmónicas segundo princípios mensuráveis, outros poderão tê-lo feito igualmente—uma hipótese que este Espaço pode agora testar através de fronteiras estilísticas que anteriormente exigiam metodologias inteiramente distintas.

Palavras-chave: Espaço Qualia de Fourier; qualia harmónicos; ambiguidade de qualia; transformada discreta de Fourier; lei de Zipf; sintaxe harmónica; musicologia computacional.

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

A palestra intulada “Fifty Years of the Algorithm Selection Problem: John Rice’s Enduring Legacy” será apresentada no dia 27 de maio, às 11:00, na sala B008, como a moderação do Prof. Carlos Soares (DEI).

Sobre a Palestra:

“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.”

Sobre a Oradora:

“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 alcança final do Bosch Future Mobility Challenge 2026 e obtém melhor resultado entre equipas estreantes

A equipa “YACC – Yet Another Careless Car” alcançou um excelente resultado na fase final do Bosch Future Mobility Challenge 2026, ao garantir um lugar entre as 8 equipas finalistas da competição e terminar a prova na 6.ª posição da classificação geral.

A equipa do DEI da FEUP destacou-se ainda como a melhor entre todas as as equipas estreantes da edição de 2026. Com este resultado a equipa garantiu a atribuição do veículo utilizado na competição e um wild card para participação direta na próxima edição do desafio.

A equipa YACC, única representante portuguesa na fase final da competição, foi composta pelos estudantes da Licenciatura em Engenharia Informática e Computação (L.EIC) Joana Azevedo Louro, Leonor Silva Bidarra, Luís Miguel Costa Gonçalves, Luís Miguel Rosa Santos e Luís Wolffrom Barbosa, sob a mentoria do Professor Bruno Lima. A iniciativa contou também com o envolvimento do Professor Ricardo Cruz, que tem vindo a apoiar o desenvolvimento das atividades do DEI na área dos veículos autónomos.

O Bosch Future Mobility Challenge é uma competição técnica internacional promovida pelo Bosch Engineering Center Cluj-Napoca, na Roménia, que desafia equipas universitárias a desenvolver algoritmos de condução autónoma e conectividade em veículos à escala 1/10. Durante a fase final, as equipas colocam à prova as suas soluções em cenários que simulam uma cidade inteligente, incluindo circulação autónoma, navegação em cruzamentos, interpretação de sinalização e interação com outros veículos e peões.

A edição de 2026 foi considerada pela própria organização como a mais competitiva de sempre. Das 141 equipas candidatas, apenas 22 chegaram à fase final, tornando o percurso da YACC ainda mais relevante num contexto internacional de elevada exigência técnica e científica.

Ao alcançar este resultado, a YACC reforça a presença da FEUP e do DEI numa das mais prestigiadas competições internacionais na área da condução autónoma e sistemas inteligentes.
Mais informações sobre o percurso da equipa podem ser acompanhadas através da sua página de Instagram: https://www.instagram.com/yaccbfmc/

DEI Talks | “O Turing Award de 2025: Partilha de Chaves Secretas usando Mecânica Quântica” pelo Prof. Sagar Pratapsi (DEI/FEUP)

A palestra intitulada “O Turing Award de 2025: Partilha de Chaves Secretas usando Mecânica Quântica” será apresentada no dia 3 de junho, às 14:30, na sala B004, com a moderação da Prof. Ana Paiva (DEI).

Sobre a Palestra:

O Turing Award de 2025 foi atribuído este ano a Charles H. Bennet e Gilles Brassard, pelo seu trabalho em criptografia quântica. No seu artigo de 1984, introduziram o famoso Protocolo BB84, onde mostraram como duas pessoas podem partilhar uma chave criptográfica secreta. A segurança deste protocolo é garantida pelas próprias leis da física quântica. Nesta palestra, o Orador explicará este protocolo e o seu significado. Não são necessários conhecimentos profundos de mecânica quântica.

Sobre o Orador:

Sagar Silva Pratapsi é Professor Auxiliar do Departamento de Engenharia Informática da FEUP. É investigador em computação e informação quântica, com um foco em princípios fundamentais da mecânica quântica, controlo de sistemas quânticos, e alguns algoritmos.
Doutorou-se pelo Instituto Superior Técnico em 2024 e foi Professor Auxiliar Convidado na Universidade de Coimbra até 2026, onde leccionou sobre computação e informação quânticas. Foi também estudante investigador convidado na Universidade de Califórnia, Berkeley em 2024, financiado pela Fundação Luso-Americana para o Desenvolvimento, e estudante visitante da Universade de Maryland em Baltimore em 2023, no âmbito de uma bolsa de doutoramento financiada pela Fundação “la Caixa”. Antes do doutoramento, trabalhou como Research Analyst no Banco Central Europeu. Teve também outros reconhecimentos, como bolseiro do programa Novos Talentos da Matemática, da Fundação Calouste Gulbenkian, e é medalhado das Olimpíadas Internacionais da Física.

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

A palestra intitulada “Hybrid neural systems: neuromorphic computing for real-time control of brain activity“, será apresentada no dia 15 de junho, pelas 14:00, na sala I-105. A moderação ficará a cargo de Henrique Lopes Cardoso (DEI).

Sobre a Palestra:

“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.”

Sobre o Orador:

Paulo Aguiar é licenciado em Física (Universidade de Lisboa, PT) e doutorado em Neurociência Computacional pelo Instituto de Computação Adaptativa e Neural (Universidade de Edimburgo, Reino Unido). Desde 2016, dirige o Laboratório de Neuroengenharia e Neurociência Computacional (i3S-UPorto, PT). O seu grupo adota uma abordagem ascendente, centrando-se na compreensão de como os circuitos neurais processam e armazenam informação. A equipa combina conhecimentos especializados em neurobiologia, métodos analíticos avançados e modelos computacionais, para revelar e reparar a função neural. Já foi (co)investigador principal/líder de tarefa em mais de 20 projetos de investigação nacionais e internacionais obtidos através de concursos.

XXIII Jornadas de Ciência da Informação decorrem a 19 de maio na FLUP

No próximo dia 19 de maio, realizam-se as XXIII Jornadas de Ciência da Informação, subordinadas ao tema “Ciência da Informação: Inovação e Transformação Societal”, no Anfiteatro Nobre da Faculdade de Letras da Universidade do Porto (FLUP), entre as 09:00 e as 17:00.

A edição deste ano propõe uma reflexão centrada no papel da Ciência da Informação na inovação e na transformação da sociedade, através de um programa diversificado que inclui comunicações, mesas de debate e momentos de partilha científica e profissional.

Trata-se de um evento de carácter anual, organizado no âmbito do curso de Ciência da Informação, que se afirma como um espaço privilegiado de reflexão, partilha e debate sobre temas atuais e relevantes nesta área do conhecimento. Ao longo das suas edições, as Jornadas têm promovido o diálogo em torno das tendências, desafios e oportunidades que marcam a evolução da Ciência da Informação, reunindo estudantes, docentes, investigadores e profissionais.

A participação é gratuita, embora sujeita a inscrição obrigatória, que deverá ser efetuada no seguinte formulário: https://shorturl.at/rdEXV 

O programa detalhado do evento encontra-se disponível em: https://www.linkedin.com/in/jornadascienciainformacao/

DEI Talks | “nanoML: Pushing the Limits of Edge AI with Weightless Neural Networks” pela Prof. Lizy John (UT Austin)

A palestra intitulada “nanoML: Pushing the Limits of Edge AI with Weightless Neural Networks“, será apresentada pela Prof. Lizy Kurian John (University of Texas at Austin) no dia 6 de maio, às 14:30, na sala I-105. A sessão será moderada pelo Prof. Pedro Diniz (DEI).

Sobre a Palestra:

“Mainstream artificial neural network models, such as Deep Neural Networks (DNNs) are computation-heavy and energy-hungry. Weightless Neural Networks (WNNs) are natively built with RAM-based neurons and represent an entirely distinct type of neural network computing compared to DNNs. WNNs are extremely low-latency, low-energy, and suitable for efficient, accurate, edge inference. The WNN approach derives an implicit inspiration from the decoding process observed in the dendritic trees of biological neurons, making neurons based on Random Access Memories (RAMs) and/or Lookup Tables (LUTs) ready-to-deploy neuromorphic digital circuits. WNNs are a natural fit for edge AI due to the low area, energy and latency properties offered by them. This talk will describe the state of the art of Weightless Neural Networks, and their applications for edge inferencing.”

Sobre a Oradora:

Lizy Kurian John is Truchard Foundation Chair in Engineering at the University of Texas at Austin. Her research interests include workload characterization, performance evaluation, and high performance architectures for emerging workloads. She is recipient of many awards including Joe J. King Professional Engineering Achievement Award (2023), and The Pennsylvania State University Outstanding Engineering Alumnus Award (2011). She has authored 3 books and has edited 4 books including a book on Computer Performance Evaluation and Benchmarking. She holds 18 US patents and is an IEEE Fellow (Class of 2009), ACM Fellow, AAAS Fellow and Fellow of the National Academy of Inventors (NAI).”

Agradecimentos: Lizy K. John é atualmente especialista Fulbright. A sua investigação é financiada, em parte, pelas bolsas n.º 2326894 e n.º 2425655 da Fundação Nacional de Ciência dos Estados Unidos (NSF), pela Semiconductor Research Corporation (SRC) task 3148.001 e pela bolsa do Programa de Aceleração de Investigação Aplicada da NVIDIA.

DEI Talks | “When AI meets Performance Engineering: Challenges and Opportunities” pela Prof. Lizy John (UT Austin)

A palestra intitulada “When AI meets Performance Engineering: Challenges and Opportunities“, será apresentada pela Prof. Lizy Kurian John (University of Texas at Austin), no dia 29 de abril, às 14:30, na sala L119 (DEMec). A sessão será moderada pelo Prof. Pedro Diniz (DEI).

Sobre a palestra:

“Artificial Intelligence/Machine Learning (AI/ML) has transformed hardware design, software systems, and system architectures. Emerging hardware for AI accelerators have become heterogeneous and complex, that traditional modeling methodologies, benchmarks, and metrics for prior systems may not work for assessing AI models and AI hardware. The single-most commonly used operation in AI is matrix multiplication. Hardware accelerators like GPUs have created Tensor Cores to support matrix multiplication. Google TPUs support matrix multiplication by the hardware systolic arrays. However, matrix multiplication cannot be a reliable benchmark for benchmarking, due to its high sensitivity to optimizations. The MLPerf consortium creates ML benchmarks, however those benchmarks are prohibitively difficult to manage for many small companies and academic researchers. What are good benchmarks for AI/ML? How can you evaluate AI hardware in pre-silicon and post-silicon stages? Complete system simulation was a popular mode of pre-silicon evaluation but prohibitively expensive. This talk will describe some of the opportunities and challenges when AI meets Performance Engineering.”

Sobre a Oradora:

Lizy Kurian John is Truchard Foundation Chair in Engineering at the University of Texas at Austin. Her research interests include workload characterization, performance evaluation, and high performance architectures for emerging workloads. She is recipient of many awards including Joe J. King Professional Engineering Achievement Award (2023), and The Pennsylvania State University Outstanding Engineering Alumnus Award (2011). She has authored 3 books and has edited 4 books including a book on Computer Performance Evaluation and Benchmarking. She holds 18 US patents and is an IEEE Fellow (Class of 2009), ACM Fellow, AAAS Fellow and Fellow of the National Academy of Inventors (NAI).”

Agradecimentos: Lizy K. John é atualmente especialista Fulbright. A sua investigação é financiada, em parte, pelas bolsas n.º 2326894 e n.º 2425655 da Fundação Nacional de Ciência dos Estados Unidos (NSF), pela Semiconductor Research Corporation (SRC) task 3148.001 e pela bolsa do Programa de Aceleração de Investigação Aplicada da NVIDIA.

DEI contribui para a SPE 2026 com 50 atividades na área da Engenharia Informática

O Departamento de Engenharia Informática (DEI) marcou uma forte presença e muito participada na SPE 2026 – Semana Profissão Engenharia, que decorreu entre os dias 24 e 26 de março, na Faculdade de Engenharia da Universidade do Porto (FEUP).

Ao longo dos três dias da SPE, o DEI dinamizou 50 atividades, todas com a duração de 30 minutos, envolvendo um elevado número de estudantes, docentes e visitantes. Quarenta dessas atividades integraram dois percursos exclusivamente dedicados à Informática, permitindo um contacto direto e aprofundado com diferentes áreas da Engenharia Informática. As restantes dez atividades estiveram inseridas em dois percursos “Sociedade do Futuro”, numa colaboração com o Departamento de Engenharia Eletrotécnica e de Computadores (DEEC) e outros institutos de investigação, promovendo uma abordagem interdisciplinar aos desafios tecnológicos emergentes.

As atividades do DEI distribuíram-se por vários formatos, incluindo mini‑workshops, demonstrações de projetos desenvolvidos em unidades curriculares e apresentações realizadas por núcleos estudantis e grupos de investigação. Nos mini‑workshops, os participantes tiveram a oportunidade de experimentar atividades práticas como programação em Python e programação com micro:bits, num ambiente interativo e acessível.

Diversas unidades curriculares do DEI estiveram representadas nesta edição, mostrando o trabalho desenvolvido nos diferentes ciclos de estudo. Do 2.º ano da Licenciatura em Engenharia Informática e Computação (L.EIC) marcaram presença as unidades curriculares Lógica Computacional (LC) e Laboratórios de Desenvolvimento de Tecnologias de Software (LDTS). Do 3.º ano da LEIC, participaram Laboratórios de Bases de Aplicações Web (LBAW), Inteligência Artificial (AI) e Computação Gráfica (CG). Já do 1.º ano do Mestrado em Engenharia Informática e Computação (M.EIC) esteve presente a unidade curricular Sistemas de Gestão de Informação (SGI).

O programa incluiu ainda demonstrações da participação do DEI na Bosch Future Mobility Challenge (BFMC), competição internacional na área da condução autónoma, destacando o envolvimento do departamento em projetos de forte componente prática, tecnológica e de ligação à indústria.

Paralelamente, vários núcleos e grupos de estudantes contribuíram com apresentações próprias, nomeadamente ACM FEUP, ARMIS.LAB, xSTF, NCGM e IEEE UP Student Branch, reforçando o papel central dos estudantes na divulgação do curso e das áreas de investigação em Informática.

No total, a participação do DEI contou com o envolvimento de mais de 60 estudantes, cujo contributo foi essencial para o sucesso das atividades e para a interação com os estudantes do secundário.

A organização da participação do DEI esteve a cargo dos docentes do DEI: Carla Gonçalves, José Campos, Ricardo Cruz e Thiago Silva, garantindo uma presença bem estruturada, diversificada e representativa do departamento ao longo de todo o evento.

Com esta participação, o DEI reforçou o seu compromisso com a divulgação da Engenharia Informática, o contacto com a sociedade e a promoção do ensino, da investigação e da inovação junto dos futuros engenheiros.