A palestra “Accelerating ML for Science Applications” será apresentada pela Prof. Seda Ogrenci (McCormick School of Engineering, Northwestern University), no dia 12 de março, às 11:00, na sala I-105. A sessão será moderada por Tiago Carvalho (DEI).

Sobre a Palestra:

“Emerging open-source tools and methodologies targeting reconfigurable fabrics hold significant promise for lowering barriers to research, education, and innovation. There are exciting developments in diverse domains where such benefits are demonstrated. This talk will review active domains with needs and applications for real-time ultra low latency ML hardware and how open-source tools need to evolve to provide a multitude of features to enable design of hardware efficient and adaptive ML. As part of this discussion, examples of research directions in adaptive and resilient ML hardware synthesis flows developed in Dr. Ogrenci’s lab will presented.”

Sobre a Oradora:

“Seda Ogrenci is a Professor in the Department of Electrical and Computer Engineering (ECE), and in the Department of Computer Science (CS). She is the Director of the Computer Engineering Division of ECE. She has received her PhD degree in Computer Science from the University of California-Los Angeles. She is the co-author of over 140 peer reviewed publications and twelve patents on the subjects of Electronic Design Automation, Reconfigurable Computing, Thermal-Aware High Performance Computing, Computer Architecture, and Instrumentation for Real-Time ML for Experimental Sciences. She is the author of the book: Heat Management in Integrated Circuits: On-chip and system-level monitoring and cooling (Materials, Circuits and Devices). Seda Ogrenci serves on the editorial boards of the IEEE Transactions on Computer Aided Design and ACM Transactions of Reconfigurable Technology and Systems.”

A palestra intitulada “The Geometry of Logic” será apresentada pela Prof. Cristina (Crista) Videira Lopes, da University of California, na próxima quarta feira, dia 25 de fevereiro, às 14:00, na sala I-105. A sessão será moderada pelo Prof. Rui Maranhão (DEI).

Sobre a palestra:

“Large Language Models (LLMs) exhibit surprising reasoning capabilities, yet the internal mechanisms driving these behaviors remain opaque. We hypothesize that this emergence may be driven by soft stratification: the spontaneous (and inefficient) discovery of orthogonal subspaces that separate control flow from data flow. To explore this, we introduce the STRAT architecture (STratified Registers And Types), which imposes hard stratification by explicitly partitioning the embedding space.
We evaluate STRAT on algorithmic tasks requiring precise logical manipulation. Despite having no pre-programmed knowledge of those tasks, the model spontaneously discovers interpretable geometric topologies (e.g., antipodal operator separation) to solve the tasks. These geometric constraints also yield extreme data efficiency: models converge to the correct logical rules of arithmetic from as few as N=10 training examples. These results suggest that the stratification of the embedding space is a promising geometric substrate for neural logic.”

Sobre a Oradora:

Cristina (Crista) Videira Lopes is a Professor of Informatics in the School of Information and Computer Sciences at the University of California, Irvine. Her research focuses on programming and software engineering for large-scale data and systems. Early in her career, she was a founding member of the team at Xerox PARC that developed Aspect-Oriented Programming. Along with her research program, she is also a prolific software developer. Her open source contributions include being one of the core developers of OpenSimulator, a virtual world server. She is also a founder and consultant of Encitra, a company specializing in online virtual reality for early-stage sustainable urban redevelopment projects. Her book “Exercises in Programming Style” has gained rave reviews, including being chosen as “Notable Book” by the ACM Best of Computing reviews. She has a PhD from Northeastern University, and MS and BS degrees from Instituto Superior Tecnico in Portugal. She is the recipient of several National Science Foundation grants, including a prestigious CAREER Award. She claims to be the only person in the world who is both an ACM Distinguished Scientist and Ohloh Kudos Rank 9.

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 B018. A sessão será moderada pelo Prof. João Bispo (DEI).

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 Oradora:

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, na sala B008. A moderação ficará a cargo do Prof. Diniz (DEI).

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 Orador:

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.