The talk “Accelerating ML for Science Applications” will be presented by Prof. Seda Ogrenci (McCormick School of Engineering, Northwestern University) on March the 12th, at 11:00, in room I-105. The session will be moderated by Tiago Carvalho (DEI).

About the Talk:

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

About the Speaker:

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.

The talk entitled “The Geometry of Logic” will be presented by Prof. Cristina (Crista) Videira Lopes, from the University of California, next Wednesday, February the 25th, at 14:00, in room I-105. The session will be moderated by Prof. Rui Maranhão (DEI).

About the talk:

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

About the Speaker:

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.

The talk entitled “The impact of link recommendation algorithms on human social dynamics” will be presented by Prof. Fernando Pascoal dos Santos (University of Amsterdam) on March the 20th, at 11:00, in room I-105.

About the Talk:

“Online social networks increasingly shape human beliefs and behavior. In these environments, algorithms to personalize contents and provide recommendations are pervasive. Link recommendation algorithms are implemented to recommend new connections to online platforms users, based on supposed familiarity, similar interests, or the potential to serve as a source of useful information. These algorithms influence the evolution of social networks, yet their long-term impacts on human social dynamics remain unclear. In this talk, I will discuss models to study such effects. I will discuss how algorithmic link recommendations interplay with opinion dynamics, and the potential long-term impacts of such algorithms on polarization. I will also discuss methods based on agentic multi-systems, powered by LLMs, to test social media interventions aiming at mitigating polarized dynamics. We will observe that preferentially establishing links with structurally similar nodes (i.e., sharing many neighbors) results in network topologies that are amenable to opinion polarization.”

About the Speaker:

Fernando P. Santos is an Associate Professor at the University of Amsterdam. He is a member of the Socially Intelligent Artificial Systems group, where he leads the Prosocial Dynamics Lab. Fernando’s research lies at the interface of AI and Complex Systems: he is interested in understanding behavioral dynamics in systems of adaptive learning agents and designing (pro)Social AI. Previously, Fernando was a James S. McDonnell Postdoctoral Fellow at Princeton University. He completed his PhD in Computer Science and Engineering at Instituto Superior Técnico with Francisco C. Santos, Jorge M. Pacheco, and Ana Paiva. Fernando is an ELLIS Scholar and member of the board of directors of the International Foundation for Autonomous Agents and Multiagent Systems. He was awarded an ERC Starting Grant to study the impact of link-recommendation algorithms on human behavioural dynamics.

The talk entitled “High Performance Computing for Bioinformatics Applications: the Quest for Performance” will be presented by Prof. Alba Alves de Melo (University of Brasilia) and will take place on the 20th February, at 14:30, in room B018. Prof. João Bispo (DEI) will moderate the session.

About the Talk:

“Bioinformatics applications are often computationally intensive, making High-Performance Computing (HPC) highly desirable. In this lecture, I will present parallel bioinformatics applications developed for High-Performance Computing (HPC) environments over the years by my research group at the LAICO Laboratory at the University of Brasília. The following will be addressed: (a) parallel applications for exact pairwise comparison of long biological sequences in clusters of GPUs (Graphics Processing Units) and CPUs; (b) exact multiple sequence alignment applications for multithreaded architectures; (c) exact RNA secondary structure prediction (folding and alignment) in GPU; and (d) heuristic protein folding in a supercomputer. Finally, a framework for executing scientific workflows in the HPC cloud will be presented.”

About the Speaker:

Alba Cristina Magalhaes Alves de Melo obtained her PhD in Computer Science from the Institut National Polytechnique de Grenoble (INPG), France, in 1996. Since 1997, she is with the Department of Computer Science at the University of Brasilia, Brazil, where she is now Full Professor. Prof. Melo is IEEE Senior Member, Vice-Coordinator of the IEEE Technical Community of Parallel Processing (TCPP) since 2024 and Member of the Counselling Committee in Computer Science for CNPq/Brazil since 2025. Prof. Melo received the following awards: 2023 IEEE Technical Committee on Parallel Processing (TCPP) Outstanding Service and Contributions Award; 2019 Wilkes Award for the Best Paper Published in The Computer Journal in 2018, Oxford University Press (joint work with the UPC/BSC team); 2016 Award for Advisor of the Best PhD Thesis in Computer Science in Brazil (Premio Capes de Tese).
She is Associate Editor-in-Chief of the Applications section of the Journal of Parallel and Distributed Systems (JPDC). She is also Associate Editor of many prestigious journals such as IEEE Transactions on Computers, IEEE Transactions on Parallel and Distributed Systems, ACM Computing Surveys and Future Generation Computer Systems. She was Co-General Chair of IEEE International Parallel and Distributed Processing Symposium (IPDPS) 2024. She has served as Program Chair or Track Chair of many prestigious conferences in high performance computing such as IPDPS, Supercomputing (SC), Euro-Par, HiPEAC, Cluster, ICPP, SBAC-PAD and HiPC. Prof. Melo’s research group has established long lasting collaborations with research teams from the University of Ottawa, Canada (since 2005); INRIA/Saclay and Mines Paris Tech, France (since 2011); Universitat Politecnica de Catalunya/ Barcelona Supercomputing Center (UPC/BSC), Spain (since 2012); and University of Copenhagen, Denmark (since 2017). Her research interests are high performance computing, bioinformatics and cloud computing.

The talk “NextGen Accelerators: Flexible, Scalable, Efficient – Together” will be presented by Prof. Pedro Trancoso (Chalmers University of Technology) on the 19th February, at 11:00, in room B008. Prof. Diniz (DEI) will be responsible for moderating the event.

About the Talk:

“For a long time, computer systems have been built around an increasingly powerful general-purpose processor. Nevertheless, at some point these monolithic super chips were not able to deliver the expected additional performance due to limitations such as design complexity and power density.
The decline of the monolithic processor gave way to new architectures. With efficiency as a main goal, domain-specific architectures, also known as accelerators, started playing an important role. The realization that one-size does not fit all resulted in an explosion of diverse accelerators for different applications and purposes, from both research and industry.
Designers of these accelerators are usually faced with the tradeoff between a generic architecture that will stand the test of time and an application-dedicated architecture that is very efficient. We want both! As such, we focus on the design of building blocks for the next generation of accelerators. These blocks are efficient but at the same time can be combined in different ways to achieve the required flexibility and scalability. In this talk I will present some of our recent research results towards this goal.”

About the Speaker:

Pedro Trancoso is a Full Professor at the Department of Computer Science and Engineering (CSE) of the Chalmers University of Technology, Sweden. He has an engineering degree from Instituto Superior Técnico (IST) (1993), Portugal and a MSc and PhD (1998) from the University of Illinois at Urbana-Champaign, U.S.A. His research interests are in computer architecture (memory hierarchy, multicore processors, reconfigurable computing, and energy efficiency) with main focus on the hardware acceleration for emerging applications such as machine learning. He is currently actively collaborating in several EU research projects (VEDLIoT, eProcessor and EPI SGA2) and SSF Swedish research projects (PRIDE, QuantumStack, AutoPIM), as well as the EUMaster4HPC EU Masters project on HPC. He is also the director of the Masters programme on High-Performance Computer systems (MPHPC) at Chalmers since its start in 2019.

The talk entitled “Safer Software with Liquid Types” will be presented by Prof. Alcides Fonseca on February 4th at 15:00, in room B006, moderated by Prof. José Campos (DEI).

About the Talk:

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

About the Speaker:

Alcides Fonseca is an Associate Professor at the University of Lisbon, Portugal, where he leads the Reliable Software Systems research line. In parallel to his day job as an Associate Professor at U. Lisbon, Alcides has been working for and with several startups over the years, including founding a junior company. In any of those jobs, Alcides uses a mix of programming languages (Python, Haskell, Lean, Scala) and some that his research group have developed, like the Aeon programming language that automatically generates code for you, based on Genetic Programming and Liquid Types.

The talk entitled “Great Opportunities for Brazil: Brazilian Microcontroller with RISC-V Architecture and Microelectronics Residency – IC Brazil Innovation Project” will be presented by Prof. João Baptista Martins on January the 20th, at 14:30, in room B006, moderated by Prof. Rosaldo Rossetti (DEI).

About the Talk:

The objective of this talk is to present the main projects being developed in Brazil in the field of microelectronics. The first deals with the training and development of human resources, called Residency in Microelectronics – IC Brazil Innovation, and the second deals with the design, development, and implementation of hardware and software for a 32-bit microcontroller with RISC-V architecture and BLE (BlueMacaw) communication.

About the Speaker:

João Baptista dos Santos Martins holds a bachelor’s degree (1984) and a master’s degree (1993) in Electrical Engineering from the Federal University of Santa Maria/Brazil. He has a PhD in Computer Science from the Federal University of Rio Grande do Sul/Brazil, specializing in microelectronics (2001). He completed a Post-Doctorate at the Institute of Engineering and Computer Systems, Research in Lisbon (INESCID)/ Portugal (2015). He is the leader of the Microelectronics Group at UFSM and a Full Professor in the Electronics and Computing Department at UFSM. He is Technological Development Researcher (DT) at CNPq. He is General Coordinator of SMDH (Santa Maria Design House) and Coordinator of the Specialization Course in Microelectronics at UFSM. He has experience and publications in the areas of Electrical Engineering and Computing, with an emphasis on
hardware, mainly working on the following topics: microelectronics, FPGA, VHDL, Low Power, Microcontrollers, and Radiation-Tolerant Integrated Circuit Design.

The talk entitled “A Journey Through Cybersecurity: Research on IDPS for NC enabled systems and Real-World Automotive Security Challenges” will be presented by Dr. Reza ParsaMehr, december the 17th, at 17:00, in room B021.

Abstract:

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.

About the Speaker:

Dr. Reza ParsaMehr is a cybersecurity specialist with a background as a university faculty member, researcher, and industry security leader. He holds a Ph.D. in Security in Telecommunications and currently leads the Security and Privacy Department at Aumovio Engineering Solutions, focusing on automotive cybersecurity, secure architecture design, and regulatory compliance.

The talk “From Digital Media to Generative AI: The Augmented Environments Lab at Georgia Tech” will be presented by Prof. Jay Bolter on November the 20th, at 16:30, in room D101 (previously announced in room I-105) and will be moderated by Prof. António Coelho (DEI).

The talk will also be broadcast online:

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

Abstract:

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

About the Speaker:

Jay David Bolter is now Professor Emeritus at Georgia Tech. In 2025, he retired as the Wesley Chair of New Media and co-Director of the Augmented Environments Lab. He has lectured extensively in North America and Europe and served as a guest professor at Malmö University in Sweden. His books include Remediation (with Richard Grusin), Windows and Mirrors (with Diane Gromala), The Digital Plenitude, and Reality Media (with Blair MacIntyre and Maria Engberg). CV (PDF)

The talk “smtgcc: Using an SMT solver to find bugs in GCC” will be presented by Krister Walfridsson on December the 4th, at 16:00, online:

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

Abstract:

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

About the Speaker:

Krister Walfridsson became involved with the GCC project while studying at university in the mid-1990s. Since completing his studies, he has worked with both compilers and operating systems in various embedded environments. Most recently, he spent 10 years at Arm as a principal compiler engineer in the Mali GPU team. He is currently taking a few years off to work on personal projects and to dance.