A palestra intitulada “The impact of link recommendation algorithms on human social dynamics” será apresentada pelo Prof. Fernando Pascoal dos Santos (University of Amsterdam), no dia 20 de março, às 11:00, na sala I-105.

Sobre a Palestra:

“As redes sociais online moldam cada vez mais as crenças e o comportamento humanos. Nesses ambientes, os algoritmos para personalizar conteúdos e fornecer recomendações são omnipresentes. Os algoritmos de recomendação de links são implementados para recomendar novas conexões aos utilizadores de plataformas online, com base na suposta familiaridade, interesses semelhantes ou no potencial para servir como fonte de informações úteis. Esses algoritmos influenciam a evolução das redes sociais, mas os seus impactos a longo prazo na dinâmica social humana permanecem incertos. Nesta palestra, discutirei modelos para estudar esses efeitos. Discutirei como as recomendações algorítmicas de links interagem com a dinâmica de opiniões e os potenciais impactos a longo prazo de tais algoritmos na polarização. Também discutirei métodos baseados em multissistemas agênicos, alimentados por LLMs, para testar intervenções nas redes sociais com o objetivo de mitigar a dinâmica polarizada. Observaremos que o estabelecimento preferencial de links com nós estruturalmente semelhantes (ou seja, que compartilham muitos vizinhos) resulta em topologias de rede que são propícias à polarização de opiniões.”

Sobre o Orador:

Fernando P. Santos é Professor Associado na University of Amsterdam. É membro do grupo Socially Intelligent Artificial Systems, onde lidera o Prosocial Dynamics Lab. A investigação de Fernando Santos situa-se na interface entre a IA e os sistemas complexos: está interessado em compreender a dinâmica comportamental em sistemas de agentes de aprendizagem adaptativa e em projetar IA (pro)social. Anteriormente, foi bolseiro de pós-doutoramento James S. McDonnell na University of Princeton. Concluiu o seu doutoramento em Engenharia Informática e de Computadores do Instituto Superior Técnico com Francisco C. Santos, Jorge M. Pacheco e Ana Paiva. Fernando é um bolseiro ELLIS e membro do conselho de administração da Fundação Internacional para Agentes Autónomos e Sistemas Multiagentes. Recebeu uma bolsa ERC Starting Grant para estudar o impacto dos algoritmos de recomendação de links na dinâmica comportamental humana.

A palestra intitulada “High Performance Computing for Bioinformatics Applications: the Quest for Performance” será apresentada pela Prof. Alba Alves de Melo (Universidade de Brasilia), e terá lugar no dia 20 de fevereiro, às 14:30, na sala tbd.

Sobre a Palestra:

“As aplicações de bioinformática são frequentemente computacionalmente intensivas, tornando a Computação de Alto Desempenho (HPC) altamente desejável. Nesta palestra, apresentarei aplicações paralelas de bioinformática desenvolvidas para ambientes de Computação de Alto Desempenho (HPC) ao longo dos anos pelo meu grupo de investigação no Laboratório LAICO da Universidade de Brasília. Serão abordados os seguintes temas: (a) aplicações paralelas para comparação exata de pares de sequências biológicas longas em clusters de GPUs (Unidades de Processamento Gráfico) e CPUs; (b) aplicações de alinhamento exato de múltiplas sequências para arquiteturas multithread; (c) previsão exata da estrutura secundária do RNA (dobramento e alinhamento) em GPU; e (d) dobramento heurístico de proteínas em um supercomputador. Por fim, será apresentada uma estrutura para a execução de fluxos de trabalho científicos na nuvem HPC.”

Sobre a Palestrante:

Alba Cristina Magalhaes Alves de Melo obteve o seu doutoramento em Ciência da Computação pelo Institut National Polytechnique de Grenoble (INPG), França, em 1996. Desde 1997, está no Departamento de Ciência da Computação da Universidade de Brasília, Brasil, onde agora é professora titular. A Prof. Melo é membro senior do IEEE, vice-coordenadora da Comunidade Técnica de Processamento Paralelo (TCPP) do IEEE desde 2024 e membro do Comite Consultivo em Ciência da Computação do CNPq/Brasil desde 2025.
A Prof. Melo recebeu os seguintes prémios: Prémio de Serviço e Contribuições Notáveis do Comité Técnico de Processamento Paralelo (TCPP) do IEEE de 2023; Prémio Wilkes 2019 pelo Melhor Artigo Publicado no The Computer Journal em 2018, Oxford University Press (trabalho conjunto com a equipa UPC/BSC); Prémio 2016 de Orientadora da Melhor Tese de Doutoramento em Ciência da Computação no Brasil (Prémio Capes de Tese).
É editora-chefe associada da secção de Aplicações do Journal of Parallel and Distributed Systems (JPDC). É também editora associada de muitas revistas de prestígio, tais como IEEE Transactions on Computers, IEEE Transactions on Parallel and Distributed Systems, ACM Computing Surveys e Future Generation Computer Systems. Foi copresidente geral do Simpósio Internacional de Processamento Paralelo e Distribuído (IPDPS) 2024 do IEEE. Foi Program Chair ou Track Chair de muitas conferências de prestígio em computação de alto desempenho, como IPDPS, Supercomputing (SC), Euro-Par, HiPEAC, Cluster, ICPP, SBAC-PAD e HiPC.
O grupo de investigação da Prof. Melo estabeleceu colaborações duradouras com equipas de investigação da University of Ottawa, Canadá (desde 2005); INRIA/Saclay e Mines Paris Tech, França (desde 2011); Universitat Politecnica de Catalunya/Barcelona Supercomputing Center (UPC/BSC), Espanha (desde 2012); e University of Copenhagen, Dinamarca (desde 2017). Os seus interesses de investigação são computação de alto desempenho, bioinformática e computação em nuvem.

A palestra intitulada “NextGen Accelerators: Flexible, Scalable, Efficient – Together” será apresentada pelo Prof. Pedro Trancoso (Chalmers University of Technology), no dia 19 de fevereiro, às 11:00, sala tbd.

Sobre a Palestra:

“Durante muito tempo, os sistemas informáticos foram construídos em torno de um processador de uso geral cada vez mais potente. No entanto, a certa altura, esses superchips monolíticos deixaram de ser capazes de oferecer o desempenho adicional esperado devido a limitações como a complexidade do design e a densidade de potência.
O declínio do processador monolítico deu lugar a novas arquiteturas. Com a eficiência como objetivo principal, as arquiteturas específicas de domínio, também conhecidas como aceleradores, começaram a desempenhar um papel importante. A constatação de que um tamanho único não serve para todos resultou numa explosão de diversos aceleradores para diferentes aplicações e finalidades, tanto na investigação como na indústria.
Os designers desses aceleradores deparam-se geralmente com o dilema entre uma arquitetura genérica que resistirá ao teste do tempo e uma arquitetura dedicada à aplicação que é muito eficiente. Queremos as duas coisas! Por isso, focamos no design de blocos de construção para a próxima geração de aceleradores. Esses blocos são eficientes, mas, ao mesmo tempo, podem ser combinados de diferentes maneiras para alcançar a flexibilidade e a escalabilidade necessárias. Nesta palestra, apresentarei alguns dos nossos resultados de pesquisa recentes em direção a esse objetivo.”

Sobre o Palestrante:

Pedro Trancoso é Professor Catedrático do Department of Computer Science and Engineering (CSE) of the Chalmers University of Technology, na Suécia. É licenciado em engenharia pelo Instituto Superior Técnico (IST) (1993), em Portugal, e possui mestrado e doutoramento (1998) pela University of Illinois at Urbana-Champaign, nos EUA. Os seus interesses de investigação centram-se na arquitetura de computadores (hierarquia de memória, processadores multicore, computação reconfigurável e eficiência energética), com especial enfoque na aceleração de hardware para aplicações emergentes, como a aprendizagem automática. Atualmente, colabora ativamente em vários projetos de investigação da UE (VEDLIoT, eProcessor e EPI SGA2) e projetos de investigação suecos SSF (PRIDE, QuantumStack, AutoPIM), bem como no projeto de mestrado da UE EUMaster4HPC sobre HPC. É também diretor do programa de mestrado em Sistemas Informáticos de Alto Desempenho (MPHPC) na Chalmers desde o seu início em 2019.

A palestra intitulada “Safer Software with Liquid Types”, será apresentada pelo Prof. Alcides Fonseca no dia 4 de fevereiro, às 15:00, na sala B006, com a moderação do Prof. José Campos (DEI).

Sobre a Palestra:

“In a world where LLM-generated code is being produced at a faster pace than human written code, verification is more important than ever. Liquid Types (refining types with logical predicates, e.g. {x:Int | x > 10}) have been around for 17 years now but, despite their many applications, they haven’t taken off. In this talk we will answer why (PLDI’25), based on user interviews we conducted, relating them to other verification tools such as Interactive Theorem Provers and Design-by-Contract approaches like Dafny. Finally, we will see how our research group is addressing those challenges in both LiquidJava and Aeon.”

Sobre o Palestrante:

Alcides Fonseca é Professor Associado na Universidade de Lisboa, onde lidera a linha de investigação em Sistemas de Software Fiáveis. Em paralelo com a sua atividade principal como Professor Associado na Universidade de Lisboa, Alcides tem trabalhado, ao longo dos anos, para e com várias startups, incluindo a fundação de uma empresa júnior. Em qualquer uma dessas funções, Alcides utiliza uma combinação de linguagens de programação (Python, Haskell, Lean, Scala) e outras desenvolvidas pelo seu grupo de investigação, como a linguagem de programação Aeon, que gera automaticamente código com base em Programação Genética e Tipos Líquidos.

A palestra intitulada “Great Opportunities for Brazil: Brazilian Microcontroller with RISC-V Architecture and Microelectronics Residency – IC Brazil Innovation Project”, será apresentada pelo Prof. João Baptista Martins no dia 20 de janeiro, às 14:30, na sala B006, com a moderação do Prof. Rosaldo Rossetti (DEI).

Sobre a Palestra:

O objetivo desta palestra é apresentar os principais projetos que estão a ser desenvolvidos no Brasil na área da Microeletrónica. O primeiro trata da formação e desenvolvimento de recursos humanos, denominado Residência em Microeletrónica – IC Brasil Inovação, e o segundo trata do projeto, desenvolvimento e implementação de hardware e software de um microcontrolador de 32 bits com arquitetura RISC-V e comunicação BLE (BlueMacaw).

Sobre o Palestrante:

João Baptista dos Santos Martins é licenciado (1984) e mestre (1993) em Engenharia Elétrica pela Universidade Federal de Santa Maria/Brasil. É doutorado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul/Brasil, com especialização em Microeletrónica (2001). Concluiu um pós-doutorado no Instituto de Engenharia e Sistemas Informáticos, Investigação em Lisboa (INESCID)/Portugal (2015). É líder do Grupo de Microeletrónica da UFSM e professor titular no Departamento de Eletrónica e Computação da UFSM. É Investigador de Desenvolvimento Tecnológico (DT) no CNPq. É coordenador geral da SMDH (Santa Maria Design House) e coordenador do Curso de Especialização em Microeletrónica da UFSM. Tem experiência e publicações nas áreas de Engenharia Elétrica e Computação, com ênfase em hardware, trabalhando principalmente nos seguintes tópicos: microeletrónica, FPGA, VHDL, Baixo Consumo de Energia, Microcontroladores e Projeto de Circuitos Integrados Tolerantes à Radiação.

A palestra “A Journey Through Cybersecurity: Research on IDPS for NC enabled systems and Real-World Automotive Security Challenges” será apresentada pelo Dr. Reza ParsaMehr, no dia 17 de dezembro, às 17:00, na sala B021.

Resumo:

“My journey in cybersecurity began in the classroom. For more than five years, I served as a university lecturer and faculty member in Iran, teaching and supervising students in computer networks, network security, and secure system design. My path then moved into advanced research, where I contributed to the EU Horizon 2020 SECRET project funded under Horizon Europe’s Marie Skłodowska-Curie Actions programme. I developed some intrusion detection and prevention mechanisms for network coding–enabled 5G mobile small cells.
Transitioning to industry introduced a new reality, where cybersecurity directly affects safety, regulation, and large-scale engineering. Today, as Security and Privacy Team Leader at Aumovio Engineering Solution, I work as a security and privacy specialist and oversee blue-team, penetration testing, and cybersecurity maintenance across automotive platforms while ensuring compliance with ISO/SAE 21434, UNECE R155/R156.
In this keynote, I’ll introduce my research on intrusion detection and prevention mechanisms for network-coding–enabled systems, followed by an overview of real automotive cybersecurity challenges and potential solutions.”

Sobre o Palestrante:

Dr. Reza ParsaMehr é especialista em cibersegurança com experiência como docente universitário, investigador e líder em segurança industrial. É doutorado em Segurança em Telecomunicações e atualmente lidera o Departamento de Segurança e Privacidade da Aumovio Engineering Solutions, com foco em cibersegurança automóvel, design de arquitetura segura e conformidade regulamentar.

A palestra “From Digital Media to Generative AI: The Augmented Environments Lab at Georgia Tech” será apresentada pelo Prof. Jay Bolter, no dia 20 de novembro, às 16:30, na sala D101 (anteriormente anunciada na I-105), e será moderada pelo Prof. António Coelho (DEI).

A palestra terá também transmissão online:

DEI Talks | “From Digital Media to Generative AI: The Augmented Environments Lab at Georgia Tech” by Prof. Jay Bolter | Meeting-Join | Microsoft Teams

Resumo:

“For more than 25 years, I have been working with students and colleagues at the Georgia Institute of Technology on the history, theory, and practice of digital media. Highlights of that work include projects in our Augmented Environments Lab exploring virtual, augmented, and mixed reality—particularly in the contexts of cultural heritage, entertainment, and personal expression. My interest in the role of digital media within the broader history of media has led to papers and books such as Remediation: Understanding New Media (1999), co-authored with Richard Grusin, and Reality Media: Augmented and Virtual Reality (2021), co-authored by Blair MacIntyre and Maria Engberg. In my presentation, I will review this body of work and suggest how it connects to current research with students, with a particular focus on generative AI. In harvesting billions of words and images from the internet, generative AI performs an algorithmic remix—or remediation—of all the digitized and digital media of the past.”

Sobre o Palestrante:

Jay David Bolter é agora Professor Emérito na Georgia Tech. Em 2025, reformou-se como Wesley Chair of New Media e codiretor do Augmented Environments Lab. Tem dado inúmeras palestras na América do Norte e na Europa e foi Professor Convidado na Universidade de Malmö, na Suécia. Os seus livros incluem Remediation (com Richard Grusin), Windows and Mirrors (com Diane Gromala), The Digital Plenitude e Reality Media (com Blair MacIntyre e Maria Engberg). CV (PDF).

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.

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.

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.