ECMLPKDD 2025 – European Conference on Machine Learning and Knowledge Discovery in Databases

Posted on

A European Conference on Machine Learning and Knowledge Discovery in Databases (ECMLPKDD), o maior evento europeu dedicado a Machine Learning e um dos mais relevantes a nível mundial na área da Inteligência Artificial, decorreu no Porto entre 15 e 19 de setembro de 2025.

A organização contou com a participação ativa de vários estudantes e investigadores do Departamento de Engenharia Informática (DEI) da Faculdade de Engenharia da Univetrsidade do Porto (FEUP), destacando-se Carlos Soares (General Co-Chair) e João Mendes Moreira (Workshops Co-Chair).

Realizada na Alfândega do Porto, a conferência reuniu mais de 1300 participantes provenientes de 60 países, incluindo cerca de 450 estudantes. O programa contou com sete palestras principais (keynotes) proferidas por alguns dos mais destacados investigadores mundiais na área, entre os quais Pedro Domingos (University of Washington), Cynthia Rudin (Duke University), Mirella Lapata (University of Edinburgh), Francisco Herrera (University of Granada), Sašo Džeroski (Jožef Stefan Institute) e Nuria Oliver (ELLIS Alicante – Institute of Humanity-Centric AI).

O programa científico integrou cerca de 400 artigos aceites, aos quais se somaram numerosas apresentações nas 32 workshops associadas ao evento, refletindo a vitalidade e diversidade da comunidade europeia de Machine Learning e Data Science.

A ECMLPKDD 2025 contou com o apoio de várias empresas nacionais e internacionais, entre as quais BNP Paribas, EDF, Google, ASML, NOS, NEC, Amazon, AstraZeneca e Banco de Portugal, além de uma parceria institucional com a Porto Digital.

Mais informações no website da ECMLPKDD

DEI Talks | “smtgcc: Using an SMT solver to find bugs in GCC” por Krister Walfridsson

Posted on

A palestra “smtgcc: Using an SMT solver to find bugs in GCC” será apresentada por Krister Walfridsson no dia 4 de dezembro, às 16:00, online:

Join the meeting 
Meeting ID: 373 912 942 228 7
Passcode: XS9M8dT3

Resumo:

“SMT solvers are increasingly effective for finding compiler bugs and validating optimizations. This talk presents smtgcc, a translation-validation tool for GCC. It is similar to Alive2 for LLVM, but smtgcc’s approach diverges from Alive2 because GCC and LLVM follow different design choices. I will explain how smtgcc works and discuss issues in formalizing the semantics of GIMPLE, GCC’s IR.”

Sobre o Palestrante:

Krister Walfridsson envolveu-se no projeto GCC enquanto estudante universitário, em meados da década de 1990. Desde que concluiu os estudos, trabalhou com compiladores e sistemas operacionais em vários ambientes incorporados. Mais recentemente, passou 10 anos na Arm como Principal Engineer na equipa Mali GPU. Atualmente, está a tirar alguns anos de pausa para se dedicar a projetos pessoais e à dança.

DEI Talks | “Knowledge Graphs + AI: The Evolution of Automated GitHub Issue Resolution” pela Prof.ª He Ye (University College London)

Posted on

A palestra intitulada “Knowledge Graphs + AI: The Evolution of Automated GitHub Issue Resolution” será apresentada pela Prof.ª He Ye no dia 17 de novembro, às 14:30, na sala B008, e será moderada pela Prof.ª Alexandra Mendes (DEI).

Resumo:

“AI coding agents are becoming increasingly capable, achieving strong results on benchmarks such as SWE-bench. However, most still struggle with real-world challenges such as issue reproduction, precise context retrieval from large codebases, and the high cost of LLMs. In this talk, I will introduce our recent code agent, Prometheus — a knowledge graph-powered, multi-agent system designed to tackle GitHub issues in practice. Prometheus transforms entire repositories into a unified knowledge graph stored in Neo4j for scalable and structured reasoning. This enables precise, cross-language context retrieval, allowing large language models to generate accurate and efficient fixes. Prometheus delivers robust performance, resolving diverse issues across seven programming languages. I will show how combining LLMs with knowledge graphs can advance automated issue resolution beyond today’s benchmark-driven limits. We have recently transitioned this research into an off-the-shelf product that helps industry resolve software issues automatically.”

Sobre a Palestrante:

He Ye é Professora Auxiliar na University College London. Anteriormente, trabalhou como investigadora de pós-doutorado na Carnegie Mellon University e obteve o seu doutoramento no KTH Royal Institute of Technology. A sua investigação centra-se no desenvolvimento da próxima geração de agentes de código para automatizar tarefas de engenharia de software, com foco na recuperação do contexto da base de código, resolução automatizada de problemas e construção da memória do agente de código. Além da academia, ela é cofundadora da EuniAI, uma startup comprometida em transformar pesquisas em soluções reais que ajudam os programadores a enfrentar desafios práticos de software.

Equipas da FCUP e da FEUP brilham na MIUP

Posted on

Por Renata Silva (FCUP) e Mafalda Leite (SICC/FEUP)

” Várias equipas de estudantes da Faculdade de Ciências (FCUP) e da Faculdade de Engenharia (FEUP) da Universidade do Porto brilharam na mais recente edição da Maratona Inter-Universitária de Programação (MIUP), que decorreu no passado dia 18 de outubro, na Escola Superior de Tecnologia e Gestão de Águeda da Universidade de Aveiro. A U.Porto dominou o pódio da competição com a conquista de medalhas de ouro, prata e bronze.

Na liderança ficaram os “Tiny Silly Problem”, que conseguiram resolver oito dos 10 problemas propostos. A equipa é composta pelos estudantes Marco Vilas Boas, do Mestrado em Engenharia Informática e Computação (FEUP), Félix Martins, do Mestrado em Inteligência Artificial (FEUP e FCUP), e Patrick Daniel, do Mestrado em Ciência de Computadores (FCUP).

Já uma das medalhas de prata da competição ficou para os “Long long main“, dos estudantes Luís Barbosa, Luís Gonçalves e Sofia Sousa (todos do 3º ano da Licenciatura em Engenharia Informática e Computação da FEUP e FCUP), por conseguirem resolver quatro dos problemas propostos.

Em 5º lugar da competição ficaram os “oneL”, que conquistaram o bronze, também com a resolução de quatro dos desafios da competição. Desta equipa fazem parte os estudantes Filipe Zheng, do 2.º ano da licenciatura em Inteligência Artificial e Ciência de Dados (FCUP e FEUP), Miguel Rocha e Rayner Sulyak, do 1.º e do 2.º ano da licenciatura em Ciência de Computadores (FCUP), respetivamente.

Na competição participaram ainda os “The CodeFathers”, dos estudantes Joana Louro e Luís Santos, do 3º ano da licenciatura em Engenharia Informática e Computação, e Luís Santos e Pedro Machado, da licenciatura em Ciência de Computadores, que terminaram em 13.º lugar.

As equipas tiveram como treinadores Pedro Ribeiro, docente do DCC da FCUP e André Restivo, docente do Departamento de Engenharia Informática (DEI) da FEUP. Este é o terceiro ano em que as equipas da FEUP e da FCUP competem sob a bandeira unificada da Universidade do Porto. “Estes resultados destacam o talento e a dedicação dos nossos estudantes, bem como a colaboração entre a FEUP e a FCUP. Em particular, a equipa vencedora, composta por elementos de ambas as faculdades e de um curso conjunto, mostra como a cooperação dentro da Universidade do Porto pode levar a resultados de excelência”, destaca André Restivo, docente no Departamento de Engenharia Informática da FEUP.

Já Pedro Ribeiro, docente da FCUP, salienta também “o gratificante esforço conjunto de duas faculdades que percebem que a UP como um todo é mais forte e unida numa área de grande prestígio”. “A participação nos concursos e toda a preparação e treino que envolvem tem grande relevância no crescimento científico dos nossos participantes, e temos orgulho em ver nos atuais e anteriores concorrentes um leque vasto de percursos de excelência académica e profissional”, acrescenta.

As três equipas medalhadas vão agora representar a U.Porto no Southwestern Europe Regional Contest (SWERC) 2025, que se realiza de 21 a 23 de novembro, no Instituto Superior Técnico, em Lisboa.

Sobre a MIUP

A Maratona Inter-Universitária de Programação (MIUP) é uma prova de programação que tem como destinatários os estudantes do ensino superior. A prova é disputada por equipas, com um máximo de 3 elementos, onde, durante cinco horas as equipas procurarão resolver entre nove e 11 problemas diversos, recorrendo às linguagens de programação C, C++, Java ou Python.

A competição permite que os participantes testem a sua capacidade de resolução de problemas, possibilitando, em simultâneo, o convívio e a troca de experiências entre alunos e professores das instituições de ensino superior portuguesas.”

DEI Talks | “Energy-awareness in compute acceleration: The role of FPGAs” pelo Prof. Shreejith Shanker

Posted on

A palestra intitulada “Energy-awareness in compute acceleration: The role of FPGAs“, será apresentada pelo Prof. Shreejith Shanker no dia 30 de outubro, às 11:30, na sala B012, e será moderada pelo Prof. Tiago Carvalho (DEI).

Resumo:

“The talk will cover a set of projects that my team at TCD is working on, spanning embedded and distributed systems to high-performance media workflows, and how FPGAs are enabling an energy-performance trade-off in these applications.”

Sobre o Palestrante:

Shreejith Shanker é Professor Auxiliar de Computação Reconfigurável no Trinity College de Dublin, Irlanda, e lidera o grupo de investigação sobre arquitecturas reconfiguráveis, aceleradores e fluxos de trabalho. Os seus interesses de investigação incluem arquitecturas de computação reconfiguráveis e adaptáveis, computação em rede, fluxos de trabalho de pós-produção de media, ferramentas de automatização da conceção e sistemas incorporados distribuídos, com destaque para as abordagens de compromisso desempenho-energia e de conceção de códigos hardware-software.

Provas de Doutoramento (PDMD): ”Food Wide Web: a digital food and media literacy program addressed to adolescents”

Posted on

Candidata
Adriana Aguiar Aparício Fogel

Data, Hora e Local:
20 de outubro de 2025, à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:
Doutora Joana Alves Dias Martins de Sousa Ferreira, Professora Auxiliar da Faculdade de Medicina da Universidade de Lisboa;
Doutora Ivone Marília Carinhas Ferreira, Professora Auxiliar do Departamento de Ciências da Comunicação da Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa;
Doutora Sara de Jesus Gomes Pereira, Professora Associada com Agregação do Departamento de Ciências da Comunicação do Instituto de Ciências Sociais da Universidade do Minho;
Doutora Ana Filipa Pereira Oliveira, Professora Auxiliar da Faculdade de Comunicação, Arquitetura, Artes e Tecnologias da Informação da Universidade Lusófona;
Doutor José Manuel Pereira Azevedo, Professor Catedrático do Departamento de Ciências da Comunicação e da Informação da Faculdade de Letras da Universidade do Porto (Orientador);
Doutor Ricardo José Pinheiro Fernandes Morais, Professor Auxiliar do Departamento de Ciências da Comunicação e da Informação da Faculdade de Letras da Universidade do Porto.

Resumo:

O complexo e saturado ambiente mediático atual deu origem a uma “infodemia” — um excesso de informações, tanto corretas quanto enganosas — com potencial impacto na saúde das populações. No campo da nutrição, a ampla disseminação de conteúdos enviesados ou incorretos contribui potencialmente para comportamentos alimentares pouco saudáveis e pode ajudar a explicar a elevada prevalência global de obesidade. Os adolescentes são especialmente sensíveis a este fenómeno pelo facto de os seus processos de autorregulação não estarem plenamente desenvolvidos e devido à maior suscetibilidade à influência de estímulos externos durante esta fase. Este contexto reforça a importância de promover, de forma integrada, uma literacia alimentar e mediática junto dos jovens, fornecendo-lhes ferramentas que lhes permitam interpretar criticamente, questionar, e lidar conscientemente com as influências do marketing alimentar e da desinformação sobre nutrição. Este estudo desenvolveu-se nesta conjuntura e teve três objetivos principais: (i) desenvolver e implementar uma intervenção que integrasse as dimensões da literacia alimentar e mediática em contexto escolar; (ii) avaliar a sua efetividade na promoção da literacia alimentar e mediática de adolescentes; e (iii) contribuir para a caracterização dos níveis de literacia alimentar e
mediática dos adolescentes em Portugal. A intervenção consistiu em dez sessões de 45 minutos, abordando oito dimensões do sistema alimentar — produção; transformação; distribuição; planeamento e gestão; seleção; preparação e confecção; consumo; e gestão do desperdício — através das competências centrais da literacia mediática: acesso, análise, avaliação e criação. Os conteúdos incluíram materiais mediáticos que incentivaram a reflexão e o debate sobre o sistema alimentar global. O programa foi implementado entre outubro de 2022 e maio de 2023 em quatro escolas do norte de Portugal — duas integraram o grupo de intervenção e duas o grupo controlo. A amostra final foi composta por 202 estudantes entre os 13 e os 16 anos (M = 13,6; DP = 0,75). Foram recolhidas informações através de um questionário que englobou cinco áreas temáticas principais: (a) exposição à publicidade de alimentos, (b) satisfação com o peso corporal, (c) opiniões, atitudes e conhecimento sobre media e alimentos, (d) padrões de ingestão alimentar e (e) literacia relacionada com a alimentação e os conteúdos mediáticos. O questionário construído a partir de instrumentos pré-existentes incluía perguntas abertas e fechadas, tendo sido aplicado em ambos os grupos, antes e após as sessões. No grupo de intervenção, os projetos desenvolvidos em sala de aula também foram alvo de análise. Os dados quantitativos foram avaliados estatisticamente e os dados qualitativos foram sujeitos a uma análise temática híbrida (indutiva/dedutiva), seguida de análise de conteúdo. Após a análise qualitativa inicial, foi desenvolvido um sistema de pontuação que atribuiu valores numéricos às respostas. Em linha com os objetivos do projeto, as escolhas saudáveis e sustentáveis, bem como as avaliações críticas e as criações com incentivo à participação foram valorizadas. Para este sistema de pontuação contribuíam as perguntas fechadas mas também as ações baseadas em tarefas, permitindo uma avaliação quantificável e abrangente do impacto da intervenção nas literacias alimentar e mediática dos estudantes, bem como nos seus comportamentos associados. As questões fechadas incluíram uma escala de resposta de Likert, composta por 15 questões sobre atitudes, opiniões e conhecimentos, tendo sido pontuada de 0 a 4 em cada item, com um máximo possível de 60 pontos. A secção relativa à frequência do consumo alimentar foi convertida para a respetiva ingestão semanal que resultou num índice de adequação alimentar, com pontuações positivas atribuídas a comportamentos saudáveis (ex.: consumo de frutas e legumes) e negativas a comportamentos não saudáveis (ex.: consumo de fast food), com uma pontuação inicial entre – 15 e 38, posteriormente transformada numa escala com início em 0, para facilitar a interpretação. Por fim, a secção sobre literacia mediática alimentar avaliou a compreensão de rótulos alimentares (0 a 6 pontos possíveis, com base em respostas corretas) e a literacia publicitária (pontuação até 14 pontos), incluindo análise crítica de anúncios (um em imagem e um em vídeo) e uma atividade criativa aberta. As respostas foram analisadas consoante à sua complexidade, considerando a capacidade de interpretar estratégias de marketing e expressar ideias de forma crítica e criativa. A conversão dos dados qualitativos em escalas numéricas permitiu comparações estatísticas entre momentos (pré vs. pós) e entre grupos (controlo vs. intervenção; masculino vs. feminino). Os resultados demostraram que a intervenção desenvolvida foi exequível e efetiva. Observaram-se melhorias significativas na literacia publicitária dos alunos (1,5 vs. 1,9; p = 0,009) e na sua capacidade de interpretar rótulos alimentares (2,0 vs. 2,2; p = 0,039). Entre as meninas do grupo de intervenção, observou-se uma melhora significativa nas pontuações totais referentes a opiniões, atitudes e conhecimento sobre media e alimentos (36.8 vs 38.1; p = 0,037). Relativamente à satisfação corporal, diferenças significativas entre as meninas do grupo intervenção e as do grupo controlo no momento pré intervenção tornaram-se insignificantes após a intervenção (p = 0,015 vs. p = 0,402). O mesmo aconteceu com as diferenças entre as meninas e meninos do grupo intervenção, que eram significativasapenas antes do programa (p = 0,010 vs. p = 0,412). Estes dados refletem melhorias na satisfação com a imagem corporal particularmente entre as participantes do sexo feminino, que reportam uma relação mais equilibrada e saudável com o seu corpo e hábitos alimentares após a participação no programa. Com relação aos padrões alimentares, os participantes do sexo masculino também apresentaram melhorias porém em hábitos específicos, destacando-se um incremento no consumo de cereais e tubérculos (6.2 vs. 8.2; p = 0,032). Contudo, identificou-se uma preocupação persistente relacionada com o peso corporal: 43.5% das meninas manifestaram desejo de alterar o seu peso, embora apenas 28.3% declarassem estar fora do peso que considerariam normal. Entre os rapazes, 76.1% deles se declararam num peso normal, mas 35.8% reportaram o desejo de mudar o seu peso, mesmo após participarem da intervenção. Além disso, constataram-se lacunas no conhecimento sobre o padrão alimentar mediterrânico recomendado em Portugal, um importante aspeto na caracterização dos adolescentes. Considerando-se a totalidade da amostra, os estudantes revelaram dificuldades em responder adequadamente a questões relativas a este tópico, reportando níveis apenas moderados de adesão ao referido padrão alimentar. Neste quesito, os participantes obtiveram uma pontuação 30,6 (SD = 7,4), de um máximo de 53. Os adolescentes relataram ainda uma habitual exposição a anúncios de alimentos ricos em açúcar, sal e gordura, apesar das medidas regulatórias existentes. Apenas 6,7% declararam não ter visto publicidade destes produtos nos 30 dias anteriores à pesquisa. Concluindo, esta tese propõe um modelo conceptual inovador que integra a literacia alimentar e mediática. Sustentada por evidência empírica, inclui um plano de aulas devidamente organizado e instrumentos de avaliação detalhados, constituindo um recurso prático para educadores em geral. Os recursos de apoio utilizados nas sessões são potencialmente adaptáveis a diferentes contextos educativos e geográficos. Os resultados contribuem para o crescente corpo de evidência que apoia intervenções educativas de carácter abrangente e reforçam a importância de integrar a literacia alimentar e mediática nos currículos escolares como estratégia para promover o pensamento crítico e escolhas alimentares informadas. Por fim, os dados apontam que um esforço conjunto é essencial para preparar os adolescentes para navegar num ambiente alimentar cada vez mais complexo, promovendo escolhas mais saudáveis e conscientes. Neste sentido, uma colaboração entre decisores políticos, profissionais de educação e agentes dos sectores envolvidos (anunciantes, agências de publicidade, veículos de comunicação, plataformas
digitais) é essencial. As ações adotadas hoje têm um impacto importante na saúde e no bem-estar desta e das futuras gerações.

Palavras-chave: literacia mediática; literacia alimentar; media digitais; programa educativo em
ambiente escolar; adolescentes.

DEI Talks | “Declarative Programming” por Steven Pemberton (ACM Distinguished Speaker)

Posted on

A palestra “Declarative Programming” será proferida por Steven Pemberton, investigador de renome na área da Ciência da Computação e das Tecnologias de Informação e ACM Distinguished Speaker, no dia 23 de outubro, às 10h00, na sala B033, e será moderada pelo Prof. João Ferreira. A entrada é livre.

Resumo:

“In the 50s, when the first programming languages were designed, computers cost millions, and relatively, programmers were almost free. Those programming languages therefore reflected that relationship: it didn’t matter if it took a long time to program, as long as the resulting program ran as fast as possible.
Now, that relationship has been reversed, which I call Moore’s Switch: compare to the cost of programmers, computers are almost free.
And yet we are still programming in descendants of the programming languages from the 50s: we are still telling the computers step by step how to solve the program.
Declarative programming is a new approach to applications: rather than describing exactly how to reach the solution, it describe what the solution should look like, and leaves more of the administrative parts of the program to the computer.
One of the few declarative languages available is XForms, an XML-based language that despite what its name might suggest is not only about form. Large projects, at large companies such as the National Health Service, the BBC and Xerox, have shown that by using XFoms, programming time and cost of application can be reduced to a tenth and sometimes even much more.”

Sobre o Palestrante:

“Steven Pemberton is a distinguished researcher in the field of computer science and information technology, with a long and rich history of contributions to the development of the internet and the web. He is affiliated with the Dutch national research centre Centrum Wiskunde & Informatica (CWI) in Amsterdam, The Netherlands, where he conducts research on interaction, declarative programming, and web technologies.
At university he was tutored by Dick Grimsdale who built the world’s first transistorised computer, and who was himself a tutee of Alan Turing. After university, Pemberton — coincidentally — worked in Turing’s old department in Manchester, writing software for the 5th computer in the line of computers Turing had worked on.
Pemberton was the first user of the open internet in Europe when the CWI created the first connection in 1988, and has been involved with the web from its inception, co-designing several web standards, including HTML, CSS, XHTML, XForms, and RDFa. He chairs two groups at W3C.
In addition to his work on the web, Pemberton has also made significant contributions to other areas of computer science, such as the design of programming languages, having co-designed the language that Python is based on, and the study of human-computer interaction. His involvement with ACM includes being editor in chief of The SIGCHI Bulletin, and then ACM interactions for a decade; he has chaired the CHI Conference and he co-founded the Netherlands local SIGCHI group, and chaired several local CHI conferences there.
He has received numerous awards and recognitions for his work, including the ACM SIGCHI Lifetime Service Award and the ACM SIGCHI Lifetime Practice Award.
As a speaker, Pemberton is known for his engaging and informative presentations, which draw on his deep knowledge of computer science and his passion for technology, and cover both social and technological aspects of computing. His talks are always thought-provoking and entertaining, and he has been invited to speak at numerous conferences and events around the world. In 2023 he became an ACM Distinguished Speaker. He is bi-lingual in English and Dutch.
A fuller bio, videos, and a full list of talks is available on his website: https://www.cwi.nl/~steven”

António Coelho visita a Universidade do Ártico da Noruega para promover ensino imersivo e inovação pedagógica

Posted on

O Prof. António Coelho, docente no Departamento de Engenharia Informática (DEI) da Faculdade de Engenharia da Universidade do Porto (FEUP), esteve recentemente em Tromsø, na Universidade do Ártico da Noruega (UiT), para reforçar laços com parceiros europeus e explorar novas metodologias de ensino ao abrigo da aliança universitária EUGLOH (European University Alliance for Global Health).

Contexto e objetivos da visita

A motivação da visita prende-se com a necessidade de renovar práticas pedagógicas, promovendo ambientes de aprendizagem mais imersivos e colaborativos. António Coelho lidera na Universidade do Porto o desenvolvimento de cursos que utilizam realidade virtual, simulações e videojogos educativos como instrumentos centrais no processo de ensino-aprendizagem. Um dos conceitos-chave que tem vindo a implementar são os chamados “Living Labs” — workshops, hackathons e cursos dirigidos por equipas interdisciplinares de estudantes e docentes, com uma forte componente de cocriação, inovação digital e serviços à comunidade.

Principais ideias defendidas

Ambientes de aprendizagem seguros para errar: nos jogos é permitido falhar e tentar de novo, algo que António Coelho vê como essencial na educação. Este tipo de ambiente incentiva os alunos a explorar, experimentar, e aprender através do erro, sem medo de falhar.

Realidade virtual e simulações: possibilitam criar uma sala de aula virtual comum, independentemente da localização geográfica, onde alunos e professores podem explorar cenários, tomar decisões e observar consequências em tempo real.

Colaboração interdisciplinar: para o Professor, juntar alunos com formações distintas (por exemplo informática, design, som, artes) potencia a criatividade, inovação e qualidades estéticas nos trabalhos, ao mesmo tempo que se reforçam competências essenciais no mercado de trabalho.

Internacionalização virtual: além da mobilidade física, salienta que a mobilidade virtual através dos ambientes imersivos pode aumentar significativamente a presença e qualidade da interação internacional, ultrapassando as limitações que plataformas de comunicação tradicionais têm.

Parcerias e projetos concretos

Durante a visita, António Coelho falou da colaboração com a EUGLOH, que está a promover vários cursos baseados no modelo de Living Lab, com participação da Universidade do Porto e outras instituições europeias, entre as quais UiT. Alguns dos cursos mencionados:

“Serious Games as a global health education tool”, a partir do outono de 2025, em universidades parceiras como a Ludwig-Maximilians-Universität München e Szeged.

“Putting the students first”, um curso que será ministrado online e presencialmente, envolvendo múltiplas instituições, com foco em “aprender a aprender” e no bem-estar e desenvolvimento pessoal dos estudantes.

A iniciativa liderada pelo Prof. António Coelho reforça uma visão de ensino moderno, aberto ao risco e à experimentação — um ensino em que falhar faz parte do processo de aprendizagem. “A visita à Universidade do Norte da Noruega foi mais do que um intercâmbio institucional: foi um passo concreto para transformar como se ensina, como se aprende e como se coopera em contextos internacionais. Espera-se que em breve possamos ver reflexos dessas ideias aplicadas também em projetos da FEUP, com benefícios diretos para estudantes e docentes” assinala o Professor na reflexão sobre a recente missão.

Miguel Abreu, alumnus ProDEI, conquista a Melhor Tese de Doutoramento em Inteligência Artificial de 2024 da APPIA

Posted on

Por Nuno Teixeira, SICC, FEUP

“O prémio da Associação Portuguesa para a Inteligência Artificial (APPIA) para a Melhor Tese de Doutoramento em Inteligência Artificial de 2024 foi atribuído a Miguel Abreu, antigo estudante do Programa Doutoral em Engenharia Informática (PRODEI) da Faculdade de Engenharia da Universidade do Porto (FEUP).

A tese premiada, intitulada “Symmetry, hierarchical structures and shallow neural networks: Advancing reinforcement learning for humanoids” e desenvolvida sob orientação de Luís Paulo Reis (FEUP) e Nuno Lau (Universidade de Aveiro), representa um avanço significativo na aplicação de aprendizagem por reforço em robôs humanoides, explorando a simetria, estruturas hierárquicas e redes neurais pouco profundas para aumentar a eficiência e robustez de sistemas robóticos complexos.

O contributo de Miguel Abreu foi fundamental para os sucessos da equipa FC Portugal, tetracampeã mundial na liga de Simulação 3D de Robôs Humanoides do RoboCup (2022, 2023, 2024 e 2025), onde participou ativamente no desenvolvimento de algoritmos avançados de controlo, planeamento e cooperação entre robôs.

Atualmente, Miguel Abreu trabalha no Centro Aeroespacial Alemão (DLR – German Aerospace Center), em Munique, onde prossegue investigação na área da robótica inteligente e sistemas autónomos.

A cerimónia de entrega do prémio de Melhor Tese de Doutoramento em Inteligência Artificial de 2024 decorreu no passado dia 2 de outubro, durante o jantar da 24.ª edição do EPIA – Encontro Português de Inteligência Artificial, realizada em Faro.

O prémio inclui um certificado oficial e um valor monetário simbólico de 1000 euros.

Criado em 2007, o Prémio APPIA para a Melhor Tese foi inicialmente atribuído de forma bienal, mas, desde 2022, passou a ser anual, com o objetivo de destacar o mérito científico de investigações de excelência no domínio da Inteligência Artificial em Portugal.”

DEI Talks | “Software process modeling and test automation: Introducing the Reliable Software Architectures Research Group” pelo Prof. Přemek Brada

Posted on

A palestra intitulada “Software process modeling and test automation: Introducing the Reliable Software Architectures Research Group” será apresentada no dia 9 de outubro, às 15:30, na sala B031, e será moderada pela Prof. Ana Paiva (DEI).

Resumo:

“In this talk, I will give an overview of research done by the Reliable Software Architectures Research Group at the University of West Bohemia in Pilsen, Czechia. The focus will be on analysing software process data to detect project management (anti-)patterns, where we’ll discuss the challenges in modeling software process elements in a way that is conducive to mapping onto the information gathered in project management tools. We’ll also touch the topic of analyzing software implementations to perform advanced verification and testing.”

Sobre o Palestrante:

Přemek Brada é Professor Associado na área de Engenharia de Software no Departamento de Engenharia e de Ciência da Computação da University of West Bohemia, em Pilsen, Czechia. A sua investigação abrange as áreas de consistência da arquitetura de software, métodos interativos de visualização de arquitetura e metodologias de desenvolvimento de software, incluindo a análise de dados de processos relacionados. Leciona, ao nivel de licenciatura e mestrado, unidade curriculares de design e modelagem orientados a objetos, práticas avançadas de engenharia de software e também gestão do conhecimento. Atualmente, é Diretor de departamento e membro do Conselho da Informatics Europe, a associação de faculdades e departamentos de informática europeus.