DEI Talks | “The Cognitive and Human Factors of Formal Methods” pelo Prof. Shriram Krishnamurthi (Brown University)

Posted on

A palestra intitulada “The Cognitive and Human Factors of Formal Methods” será apresentada no dia 23 de julho, às 11:00, na sala B025, com a moderação da Prof. Alexandra Mendes (DEI).

Sobre a Palestra:

“As formal methods improve in expressiveness and power, they create new opportunities for non-expert adoption. In principle, formal tools are now powerful enough to enable developers to scalably validate realistic systems artifacts without extensive formal training. However, realizing this potential for adoption requires attention to not only the technical but also the human side—which has received extraordinarily little attention from formal-methods research.
This talk presents some of our efforts to address this paucity. We apply ideas from cognitive science, human-factors research, and education theory to improve the usability of formal methods. Along the way, we find misconceptions suffered by users, how technically appealing designs that experts may value may fail to help, and how our tools may even mislead users.”

Sobre o Orador:

Shriram Krishnamurthi is a Professor of Computer Science at Brown University. With collaborators and students, he has created several influential systems like DrRacket, Margrave, Flapjax, LambdaJS, Flowlog, and Pyret. He has also written multiple widely-used books. He also co-directs the Bootstrap integrated computing outreach program. For his work he has received SIGPLAN’s Robin Milner Young Researcher Award, SIGPLAN’s Software Award (jointly), SIGSOFT’s Influential Educator Award, SIGPLAN’s Distinguished Educator Award (jointly), and Brown’s Wriston and Philip J. Bray teaching awards. He has authored over twenty papers recognized for honors by program committees. He has an honorary doctorate from the Università della Svizzera Italiana.

DEI Talks | “On the State of Client-Side Web Vulnerabilities: DOM-XSS and JavaScript Libraries” pela Prof. Limin Jia (CMU)

Posted on

A palestra intitulada “On the State of Client-Side Web Vulnerabilities: DOM-XSS and JavaScript Libraries” será apresentada no dia 24 de julho, às 14:30, na sala B006, com a moderação da Prof. Alexandra Mendes (DEI).

Sobre a Palestra:

“Client-side web vulnerabilities continue to pose significant security risks. In this talk, I will present two research efforts that provide a broader view of the modern web attack surface. First, I will introduce SWIPE, a system for large-scale detection of DOM-based cross-site scripting (DOM-XSS). SWIPE combines interaction-based fuzzing with dynamic symbolic execution (DSE) to systematically explore event-driven behaviors and automatically synthesize URL parameters and fragments. This enables the discovery of vulnerabilities that traditional static or non-interactive techniques miss, significantly improving detection coverage. Second, I will present LIBINSPECTORJS, an end-to-end pipeline for identifying vulnerable JavaScript libraries and assessing their exploitability in practice. Our initial results show that vulnerable libraries are widespread, but not all instances lead to exploitable conditions.”

Sobre a Palestrante:

Limin Jia é Professora e Investigadora no Departamento de Engenharia Eletrotécnica e de Computadores na Carnegie Mellon University e membro do CyLab, o instituto de segurança informática e privacidade da Carnegie Mellon. Doutorou-se em Princeton em 2008. A sua investigação situa-se na interseção entre linguagens de programação, métodos formais e segurança informática. Tem particular interesse na aplicação de métodos formais à análise das garantias de segurança de sistemas de software e no desenvolvimento de mecanismos para tornar os sistemas de software mais seguros.

Estudantes do DEI distinguidos nos Prémios de Mestrado da Ordem dos Engenheiros – Região Norte

Posted on

Três finalistas de mestrado do Departamento de Engenharia Informática (DEI) da Faculdade de Engenharia da Universidade do Porto (FEUP) foram distinguidos na 2.ª edição dos Prémios de Mestrado da Ordem dos Engenheiros – Região Norte (OERN), uma iniciativa que reconhece a excelência académica dos melhores estudantes de mestrado em Engenharia das instituições públicas de ensino superior da Região Norte.

A cerimónia decorreu no passado dia 2 de julho, tendo reunido estudantes, representantes académicos, empresas parceiras e dirigentes da OERN. Nesta edição foram atribuídos 52 prémios de mérito, no valor de 1.000 euros cada, entre um total de 88 candidaturas provenientes das diversas especialidades da engenharia.

Entre os estudantes distinguidos encontram-se Sofia Vieira Pinto e Pedro Madureira do Mestrado em Engenharia Informática e Computação (M.EIC), e João Viterbo Vieira, do Mestrado em Engenharia e Ciência de Dados (MECD), pelo trabalho desenvolvido nas suas dissertações:

Specification-Driven Test Generation for Fault Localisation in Dafny – Sofia Vieira Pinto

Embora a verificação formal ofereça provas matemáticas de que um software não tem erros, corrigir as falhas detetadas no desenvolvimento de software formalmente verificado é tão complexo que afasta muitos programadores. Este projeto procura ajudar nessa tarefa de debugging, explorando metodologias de localização de falhas na linguagem Dafny. A estratégia passou por desenvolver o DSpec2Test, uma nova ferramenta de geração automática de testes a partir das especificações formais, as quais descrevem o comportamento esperado do sistema. Em complemento, foi criado um plugin capaz de mapear o percurso exato de cada teste dentro do código. Com base nestas informações, esta investigação compara algoritmos tradicionais com um modelo de Inteligência Artificial para avaliar qual o mais eficaz na identificação da linha defeituosa. Ao simplificar o processo de localização de falhas, este projeto tenta reduzir o tempo despendido pelos programadores, aproximando-nos de um futuro onde o desenvolvimento de software à prova de falhas seja a regra, e não a exceção. Este trabalho integra-se no projeto VeriFixer (https://doi.org/10.54499/2023.15557.PEX). A tese foi orientada pela Prof. Alexandra Mendes (DEI).

Towards Open-Vocabulary 3D Object Detection for Autonomous Driving – Pedro Madureira

Esta dissertação, desenvolvida em parceria com a Bosch Portugal, propõe revolucionar a segurança dos veículos autónomos ao substituir os tradicionais sistemas de deteção visual, que apenas reconhecem obstáculos pré-programados, por um modelo de vocabulário aberto aplicado à deteção 3D. Utilizando dados de sensores LiDAR combinados com Inteligência Artificial baseada em linguagem natural, a investigação permite que o sistema do veículo identifique e localize qualquer objeto imprevisto na estrada através de simples descrições textuais, sem necessidade de ser novamente treinado. Com o objetivo de lidar com as exigências e os ruídos dos ambientes exteriores complexos, esta tecnologia promete reduzir os elevados custos de desenvolvimento e garantir um nível de perceção rodoviária muito mais flexível, inteligente e, acima de tudo, seguro. O trabalho foi orientado pelo Prof. Luis Filipe Teixeira (DEI).

Human Guidance in Self-Evolving Multi-Agent AI Systems – João Viterbo

Esta dissertação explora uma nova geração de sistemas de Inteligência Artificial compostos por múltiplos agentes capazes de evoluir e adaptar autonomamente o seu comportamento ao longo do tempo.
O trabalho investiga de que forma abordagens como human-in-the-loop e técnicas de steering, através de instruções, contexto e aprendizagem por reforço, podem ser utilizadas para orientar estes sistemas de forma segura e eficaz. Através de um caso de estudo prático, a investigação compara o desempenho e o comportamento dos agentes com diferentes níveis de intervenção humana, contribuindo para o desenvolvimento de sistemas de Inteligência Artificial mais robustos, transparentes e alinhados com os objetivos humanos. A dissertação foi orientada pelo Prof. António Pedro Aguiar (DEEC).

Reconhecimento da excelência académica

Criados com o objetivo de reconhecer o mérito académico, incentivar a formação avançada e reforçar a ligação entre o ensino superior e o tecido empresarial, os Prémios de Mestrado OERN distinguem anualmente estudantes que concluíram os seus cursos com elevado desempenho académico.

Na abertura da sessão, o Presidente da OERN, Bento Aires, sublinhou a importância de a distinção ser dirigida a estudantes de mestrado, destacando a relevância da qualificação avançada para o exercício da profissão.

O DEI congratula os três estudantes distinguidos e os respetivos orientadores por este importante reconhecimento, que evidencia a qualidade da formação e da investigação desenvolvidas nos seus mestrados.

Mais informação e fotografias da cerimónia podem ser consultadas na notícia da OERN: https://www.oern.pt/noticias/oern-distingue-52-estudantes-na-2-a-edicao-dos-premios-de-mestrado/

Candidaturas abertas ao Prémio Prof. Doutor Raul Vidal/Deloitte 2026

Posted on

Encontram-se abertas as candidaturas à 5.ª edição do Prémio Prof. Doutor Raul Vidal / Deloitte, decorrendo o período de submissão até 31 de agosto de 2026.

Os estudantes do Mestrado em Engenharia Informática e Computação e do Mestrado em Engenharia de Software poderão apresentar a sua candidatura até à referida data.

Este prémio visa distinguir anualmente um(a) recém-graduado(a) destes ciclos de estudo que se tenha destacado pelo seu percurso académico, pela qualidade e inovação dos trabalhos realizados na área da Engenharia de Software e pela pela participação em iniciativas de caráter social e solidário, critério diferenciador deste prémio.

O Prémio foi instituído pela Deloitte, com o apoio da Faculdade de Engenharia da Universidade do Porto (FEUP), através do Departamento de Engenharia Informática (DEI), com o objetivo de homenagear o Professor Emérito Raul Vidal. Esta distinção reconhece o notável contributo do Professor para o desenvolvimento do ensino e da investigação na área da Informática, bem como o seu papel fundamental na projeção nacional e internacional da FEUP e na formação de profissionais altamente qualificados para o mercado de trabalho.

Toda a informação relativa ao processo de candidatura, condições de elegibilidade e regulamento do prémio, podem ser consultados em:

https://dei.fe.up.pt/pt/premio-prof-doutor-raul-vidal/

Equipa do DEI participa no desenvolvimento do AMALIA

Posted on

Um docente e quatro estudantes do Departamento de Engenharia Informática (DEI) participaram no desenvolvimento do AMALIA, o mais recente e maior modelo de linguagem de grande escala concebido especificamente para a língua e a cultura portuguesas, apresentado publicamente no passado dia 1 de julho.

A equipa do DEI integrou Sérgio Nunes, Professor Associado e investigador do INESC TEC, Luís Relvas e José Isidro, estudantes do Mestrado em Engenharia Informática e Computação (M.EIC), Rodrigo Batista, estudante do Mestrado em Inteligência Artificial (M.IA), e José Evans, estudante do Mestrado em Engenharia e Ciência de Dados (MECD). A participação decorreu no âmbito do contributo da Universidade do Porto para o domínio dos Media, que reuniu elementos da FCUP, FEUP e FLUP, em colaboração com o INESC TEC e a Universidade da Beira Interior.

O AMALIA é um modelo de linguagem construído de raiz para a realidade linguística e cultural portuguesa, desenvolvido ao longo de 18 meses com um investimento de 5,5 milhões de euros. Ao contrário de assistentes generalistas como o ChatGPT, o AMALIA foi pensado como um modelo base de código aberto (disponível nas plataformas HuggingFace e GitHub), destinado a alimentar aplicações específicas construídas sobre bases de dados próprias, e não para uso direto pelo público em geral. Sendo disponibilizado publicamente, com um model card associado (contendo informação sobre as características do modelo e os dados em que foi treinado), toda a comunidade poderá usufruir e contribuir para melhorar o modelo no futuro.

O projeto contribui para a visão e a ambição de Portugal para a Inteligência Artificial (IA), ao responder de forma direta aos seguintes objetivos:

Promoção da língua portuguesa,
Permitindo que empresas nacionais, administração pública e demais entidades se expressem corretamente em português europeu.

Preservar a representatividade cultural de Portugal,
Capturando e preservando provérbios, expressões idiomáticas, referências culturais e conhecimento sobre personalidades e monumentos nacionais.

Soberania sobre os dados dos cidadãos,
Possibilitando aplicar os mais recentes avanços em IA a domínios como a administração pública, garantindo que dados confidenciais não saiam de território nacional.

Promoção da investigação e inovação em IA,
Estimulando a criação de um ecossistema de I&D colaborativo com vários centros de investigação e contribuindo para avançar o conhecimento nacional na fronteira da IA.

Está previsto que o AMALIA sirva de suporte a várias aplicações da administração pública. O portal gov.pt será um dos seus primeiros casos de uso. Estão ainda previstas aplicações nas áreas da educação, cultura, museus, media e ciência. Embora seja possível do ponto de vista da engenharia criar uma aplicação generalista do tipo chatbot, desenvolver uma aplicação concorrente dos chatbots generalistas disponíveis comercialmente não é objetivo do projeto AMALIA.

Serão muitas as dúvidas mas a boa notícia é que podem ser respondidas nesta página.

DEI Talks | “Trustworthy AI Under Constraints: From Small Language Models to Adaptive Antibiotic Treatment” por Vi Ngoc-Nha Tran (UiT The Arctic University of Norway)

Posted on

A palestra intitulada “Trustworthy AI Under Constraints: From Small Language Models to Adaptive Antibiotic Treatment” será apresentada no dia 14 de julho, às 16:00, na sala B001, com a moderação do Prof. Gil Gonçalves (DEI).

Sobre a Palestra:

“This talk presents two current research directions in trustworthy and efficient AI systems for sensitive domains. The first part focuses on small language models as a practical alternative to large language models in settings where cost, energy use, privacy, local deployment, and governance are important. I will present our recent work on privacy risks in chatbots built on small language models, showing that standard template-based evaluations can underestimate personally identifiable information leakage. Our results motivate a broader view of reliability, where prompts, role formatting, decoding choices, and deployment settings are treated as part of the AI system itself.
The second part introduces OptiRegi, a project that uses reinforcement learning to study optimized dynamic antibiotic dosing regimens. The goal is to explore how treatment decisions can adapt over time while balancing bacterial killing, toxicity, resistance development, and changing infection dynamics. Together, these two projects highlight a common theme: building AI systems that remain trustworthy under real-world constraints, from privacy and deployment challenges in small language models to safe and adaptive treatment optimization.”

Sobre a Oradora:

Dr. Vi Ngoc-Nha Tran é Professora Associada de Ciência da Computação na UiT The Arctic University of Norway e membro do grupo diretor da NORA.startup, a rede de inovação do Consórcio Norueguês de Pesquisa em Inteligência Artificial. É doutorada em Ciência da Computação pela UiT, foi investigadora visitante na Rutgers University, EUA, e recebeu uma bolsa Erasmus Mundus para um Mestrado europeu em Engenharia de Software. A sua investigação abrange aprendizagem automática, tecnologia da saúde, computação de alto desempenho e computação energeticamente eficiente. Atualmente lidera dois projetos como investigadora principal: um projeto financiado pela UiT sobre modelos de linguagem pequenos e fiáveis para domínios regulados, e o OptiRegi, um projeto financiado pelo Conselho de Investigação da Noruega sobre dosagem dinâmica otimizada de antibióticos através de aprendizagem por reforço.

DEI Open Day 2026 debate os desafios da Inteligência Artificial nas Organizações

Posted on

O Departamento de Engenharia Informática (DEI) da Faculdade de Engenharia da Universidade do Porto (FEUP) realiza no próximo dia 14 de julho, a edição de 2026 do DEI Open Day, um evento anual que junta empresas, instituições e a comunidade académica para dar a conhecer as atividades de ensino, investigação e inovação do departamento. O encontro deste ano terá como tema a “Transformação com Inteligência Artificial: Desafios e Caminhos para o Futuro“.
Ao longo do dia, a organização pretende lançar um debate alargado sobre os desafios colocados pela adoção da IA em organizações públicas e privadas, procurando identificar caminhos para uma transformação digital sustentável e o papel que a Engenharia Informática pode desempenhar nesse processo.

Abertura e keynote internacional

O programa arranca às 09:30 com a receção aos participantes, seguida, às 9:30, da sessão de abertura, que conta com as intervenções de Rui Calçada, diretor da FEUP, e João Paiva Cardoso, diretor do DEI.
A palestra de abertura, será proferida por Cátia S. Silva, professora associada da University of Florida, subordinada ao tema “Dos Modelos aos Sistemas de IA: Engenharia de Inteligência Artificial para a Transformação Digital“.
A investigadora vai abordar a transição de uma IA centrada no desenvolvimento de modelos para uma abordagem orientada à engenharia de sistemas, discutindo como os avanços recentes nos modelos fundacionais estão a alargar as competências exigidas aos engenheiros de IA — da integração de sistemas à engenharia de dados, passando pela infraestrutura computacional e pela interação humano-sistema.
Cátia Silva coordena programas de mestrado em Sistemas de Inteligência Artificial e Ciência de Dados Aplicada na universidade norte-americana e já recebeu diversas distinções pelo seu trabalho pedagógico, incluindo o UF Undergraduate Teacher of the Year e o UF Rising Star Award, ambos em 2025.

Painel reúne indústria, justiça e administração pública

Entre as 10:30 e as 12:00 realiza-se um painel de discussão dedicado ao tema central do evento, moderado por Ana Paula Rocha, vice-presidente do Conselho Pedagógico da FEUP. Participam representantes de diferentes setores de atividade:

• Diogo Pernes, Lead Research Scientist na OutSystems;
• Nuno Fonseca, vogal do Conselho Diretivo do IGFEJ – Instituto de Gestão Financeira e Equipamentos da Justiça;
• Nuno Paiva, Head of Data Science, B2C & SME na NOS;
• Rodrigo Passos, vereador da Câmara Municipal do Porto;
• Sofia Gomes, Director Data Engineering na Feedzai.

A diversidade de perfis, que cruza transformação digital empresarial, modernização da justiça, inovação na administração pública e implementação de soluções de dados e IA em contexto global , deverá alimentar uma discussão sobre os desafios e oportunidades da adoção da Inteligência Artificial tanto no setor público como no privado.

Tarde dedicada a formas de colaboração com o DEI

Depois da fotografia oficial do evento (12:15) e do almoço, a tarde é reservada a sessões individuais sobre possibilidades de colaboração com o DEI, nomeadamente Dissertações nos vários Mestrados do departamento, Projeto Integrador da Licenciatura em Engenharia Informática e Computação (L.EIC), Laboratório de Gestão de Projetos (LGP), FEUP Prime e DoRPE, e oportunidades relacionados com os núcleos estudantis ligados ao departamento.

Com esta iniciativa, o DEI procura não só apresentar o estado da sua atividade científica e pedagógica, mas também abrir portas a novas parcerias com empresas e instituições interessadas em colaborar em projetos em várias áreas da engenharia informática.

DEI Talk por Vi Ngoc-Nha Tran – UiT- The Arctic University of Norway

Ainda integrada no dia aberto, teremos uma palestra proferiada por Vi Ngoc-Nha Tran, Professora Associada da UiT- The Arctic University of Norway, com o tema: “Trustworthy AI Under Constraints: From Small Language Models to Adaptive Antibiotic Treatment“.

Toda a informação sobre a palestra, aqui.

Abel Dantas nomeado para o AI Act Advisory Forum da Comissão Europeia

Posted on

Abel Dantas, Assistente Convidado do Departamento de Engenharia Informática (DEI) e doutorando do Programa Doutoral em Engenharia Informática (ProDEI), foi nomeado pelo Gabinete de Inteligência Artificial da Comissão Europeia para integrar o AI Act Advisory Forum, um grupo de especialistas que aconselha a Comissão Europeia e o European AI Board na aplicação do novo regulamento europeu sobre inteligência artificial, o AI Act.

O AI Act é a primeira legislação abrangente sobre inteligência artificial a nível mundial e constitui um marco importante na definição de regras comuns para o desenvolvimento, utilização e supervisão de sistemas de IA na União Europeia. O Advisory Forum reúne especialistas provenientes da academia, da indústria e da sociedade civil, com o objetivo de apoiar a implementação prática da legislação, contribuindo com conhecimento técnico e perspetivas multidisciplinares.

A primeira reunião do Fórum decorreu no passado dia 19 de junho de 2026. De acordo com a informação partilhada por Abel Dantas, a nomeação tem caráter pessoal, sendo realizada na qualidade de especialista individual, no âmbito da sua ligação à Cooptech, uma cooperativa tecnológica da qual é fundador. O processo de seleção teve em conta o percurso e o posicionamento do especialista, bem como o perfil da organização associada.

No caso de Abel, esse percurso passa também pela FEUP, onde leciona na Licenciatura em Engenharia Informática e Computação (L.EIC) e desenvolve trabalho de investigação na área dos sistemas distribuídos. A sua nomeação representa, por isso, um reconhecimento da relevância científica e profissional do seu trabalho, ao mesmo tempo que reforça a presença da FEUP em fóruns europeus ligados à regulação e governação da inteligência artificial.

A participação no AI Act Advisory Forum poderá igualmente abrir espaço à partilha de conhecimento e à valorização do contributo da FEUP e da Universidade do Porto no debate europeu sobre os desafios éticos, técnicos e regulatórios associados à inteligência artificial.

Provas de Doutoramento em Media Digitais (PDMD) | ”The Ironic Machine[s]: Speech Emotion Recognition Methods for Affective Virtual Environment Generation”

Posted on

Candidato:
Jorge Federico Forero Rodríguez

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

Presidente do Júri:
Doutor João Carlos Pascoal Faria, Professor Catedrático do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto

Vogais:
Doutor Nuno António do Nascimento Correia, Professor Associado na Universidade de Tallinn, Estónia;
Doutor Hugo Gonçalo Oliveira, Professor Associado do Departamento de Engenharia Informática da Faculdade de Ciências e Tecnologia da Universidade de Coimbra;
Doutor Nuno Manuel Robalo Correia, Professor Catedrático do Departamento de Informática da Faculdade de Ciência e Tecnologia da Universidade Nova de Lisboa;
Doutora Mónica Sofia Santos Mendes, Professora Auxiliar com Agregação da Faculdade de Belas-Artes da Universidade de Lisboa (Orientadora);
Doutor Tiago Barbedo Assis, Professor Auxiliar do Departamento de Desenho da Faculdade de Belas-Artes da Universidade do Porto;
Doutor António Fernando Vasconcelos Cunha Castro Coelho, Professor Associado com Agregação do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto.

A tese foi coorientada pelo Doutor Gilberto Bernardes de Almeida, Professor Auxiliar do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto.

Resumo:

The Ironic Machine[s] é um projeto de investigação baseado na prática que explora o uso de um sistema bimodal de reconhecimento de emoções na fala para a geração de ambientes virtuais
afetivos e artefactos computacionais criativos. Situado na interseção entre a arte dos media, a computação afetiva e o processamento de linguagem natural, o estudo investiga como figuras retóricas como a ironia benevolente e o sarcasmo emergem através da divergência entre as previsões emocionais semânticas e acústicas, e como esta interação pode informar a construção de Ambientes Virtuais Afetivos. A principal contribuição desta dissertação é a formulação e avaliação empírica de um método para a análise da ironia ilocutória utilizando conjuntos de dados multimodais de reconhecimento de emoções na fala. Com base em técnicas de análise de sentimentos e reconhecimento de emoções na fala, a investigação introduz um enquadramento de inferência estatística que integra avaliação percetiva com análise orientada por hipóteses, de modo a identificar características prosódicas que distinguem significativamente a fala sincera da irónica. Para amostras encenadas de inglês americano, os resultados demonstram que as divergências entre previsões emocionais semânticas e acústicas podem ser sistematicamente quantificadas, apoiando a hipótese de que a ironia prosódica pode ser entendida como um fenómeno multimodal mensurável. Um objetivo secundário investiga se estes resultados podem ser traduzidos numa estratégia generativa para a construção de Ambientes Virtuais Afetivos. Para esse fim, é proposto um enquadramento de engenharia de prompts em três níveis, mapeando previsões emocionais semânticas e acústicas em características audiovisuais informadas por análises estatísticas de conjuntos de dados musicais e visuais. A avaliação percetiva indica que a utilização de prompts baseados em características apresenta uma vantagem consistente face a rótulos emocionais de alto nível, embora os resultados não atinjam níveis convencionais de significância estatística. A investigação é realizada através de uma série de nove iterações tecnológicas e artísticas, desenvolvidas como obras autónomas, mas interligadas. Estes projetos funcionam como plataformas experimentais para explorar a ambiguidade emocional, a desorientação e a instabilidade do significado em ambientes computacionais dentro de uma narrativa tecno poética. Em conjunto, este trabalho propõe tanto um enquadramento metodológico para a análise da ironia como uma abordagem especulativa à geração de ambientes afetivos. Posiciona a divergência entre modalidades como um princípio operacional em sistemas multimodais e demonstra como a investigação baseada na prática pode constituir um modo rigoroso de inquérito sobre a relação entre a emoção humana e a representação mediada por máquinas.

Palavras-chave: Reconhecimento de Emoções na Fala; Ironia Prosódica; Ambientes Virtuais Afetivos; Análise Multimodal; Investigação Baseada na Prática; Arte dos Media.

 

Provas de Doutoramento em Media Digitais (PDMD) | ”The Musical Work as a Mutable Interface: Towards a Co-Creative Electroacoustic Practice”

Posted on

Candidata:
Nádia de Sousa Varela de Carvalho

Data, Hora e Local:
06 de julho de 2026, 14:30, Sala Professor Vasco Sá (L119) do DEMec 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 do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto

Vogais:
Doctor Diemo Schwarz, PhD Researcher of the Institute for Research and Coordination in Acoustics/Music (IRCAM), France;
Doutor Rui Luís Nogueira Penha, Professor Coordenador da Escola Superior de Música e Artes do Espetáculo do Instituto Politécnico do Porto;
Doutora Sofia Carmen Faria Maia Cavaco, Professora Auxiliar do Departamento de Informática da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa;
Doutor António Humberto Sá Pinto, Professor Auxiliar Convidado do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto e Investigador Afiliado do Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência (INESC TEC);
Doutor Gilberto Bernardes de Almeida, Professor Auxiliar do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto (Orientador).

Resumo:

Esta dissertação investiga a transição ontológica e performativa da obra musical, propondo a sua reconfiguração de um artefacto estático numa interface mutável através da mediação computacional inteligente. Historicamente, a tradição musical erudita ocidental privilegia o conceito de obra (werktreue). Este conceito cristaliza a composição como um objeto imutável, preservado pela rigidez da partitura ou do suporte fonográfico. Contudo, as práticas digitais e eletroacústicas contemporâneas reclamam novos paradigmas que respondam à porosidade das fronteiras entre composição, performance e agência tecnológica. Este trabalho propõe, assim, a substituição da partitura fixa pela variedade topológica navegável. Neste sentido, a obra redefine-se como um território dinâmico cuja identidade assenta na fluidez estrutural e não na prescrição notacional. Esta mudança de paradigma fundamenta-se num modelo de navegação contextual. Neste modelo, os limites topológicos do sistema e a intuição gestual do intérprete convergem num diálogo exploratório de descoberta estrutural em tempo real.

A metodologia adotada cruza a investigação experimental com a investigação baseada na prática. Nesse sentido, propomos uma estrutura em um ciclo reflexivo-iterativo que articula o desenvolvimento de software ao ato performativo. A investigação desenvolve-se em dois eixos fundamentais: a representação tonal simbólica e a navegação tímbrica. No primeiro, recorre-se a variational autoencoders (VAEs) para a compressão de polifonia simbólica, tendo-se observado um alinhamento empírico significativo entre os espaços latentes desses modelos e os espaços de fase da Transformada Discreta de Fourier (DFT). Este resultado demonstra que modelos considerados de caixa negra podem revelar, de forma autónoma, princípios estruturais da teoria musical, como o ciclo de quintas. No segundo eixo, utiliza-se a Síntese de Áudio Neural (RAVE) para mapear o espetro tímbrico do saxofone tenor em espaços latentes de alta dimensão, de forma a mediar a relação entre dados abstratos e o gesto musical. Para tal, introduz-se uma taxonomia de movimentos (paralelos, oblíquos e contrários) que preserva a agência do intérprete na navegação destes espaços.

A aplicabilidade prática desta investigação materializa-se nos sistemas BroadcastJSB e Aethra. O primeiro constitui um instrumento topológico que explora a metáfora do rádio para a navegação em tempo real no espaço latente dos corais de J.S. Bach. O segundo consiste numa interface co-criativa para música mista que sintetiza a complexidade multidimensional num único eixo de controlo performativo. As principais contribuições deste trabalho residem na formalização da obra mutável como espaço de possibilidades, na demonstração da inteligibilidade musical em modelos de aprendizagem profunda e na criação de ferramentas e repositórios de dados de acesso aberto às comunidades que investigam performance contemporânea e computação sonora e musical. Em suma, a dissertação sustenta que o futuro da prática musical reside na potencialização da intuição humana através da mediação inteligente, posicionando a interface mutável como o lugar primordial da exploração colaborativa na era digital.