DEI Talks | “A Journey Through Cybersecurity: Research on IDPS for NC enabled systems and Real-World Automotive Security Challenges” por Reza ParsaMehr

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.

Creativity Talks | “Neurorobotics: Connecting the Brain, Body, and Environment” por Jeffrey L. Krichmar

A décima sétima sessão das Creativity Talks contará com o professor Jeffrey L. Krichmar, especialista em neurorobótica e neurociência computacional da Universidade da Califórnia, Irvine, como orador principal, apresentando “Neurorobótica: Ligando o Cérebro, o Corpo e o Ambiente“.
A palestra terá lugar  no dia 4 de dezembro de 2025, às 17:30, e será moderada por Armando Sousa (DEEC).

Resumo:

“Os neurorobots são robots cujos sistemas de controlo seguem os aspetos estruturais e dinâmicos do sistema nervoso. Os seus cérebros artificiais podem ser completamente sondados e gravados à medida que o robot interage com o mundo. Os princípios de design neurorrobótico dividem-se em três categorias que seguem os organismos naturais: primeiro, eles devem reagir de forma decisiva a eventos sensoriais. Segundo, eles devem ter a capacidade de se adaptar, aprender e lembrar ao longo da sua vida. Terceiro, devem ponderar as diferentes e, por vezes, conflitantes opções que são cruciais para a conclusão de tarefas. Seguir estes princípios pode não só aumentar a nossa compreensão de como as respostas cerebrais levam a um comportamento flexível, mas também pode levar a sistemas mais inteligentes. Nesta palestra, descreverei o campo da neurorobótica e, em seguida, apresentarei estudos de caso de interação com neurorrobôs que se concentram em como a neuromodulação e as neurohormonas podem influenciar o afeto, a aprendizagem e o comportamento.”

A palestra será transmitida online:
https://www.youtube.com/live/dsu-P174zHQ

Sobre o Palestrante:

Jeffrey L. Krichmar received a B.S. in Computer Science in 1983 from the University of Massachusetts at Amherst, a M.S. in Computer Science from The George Washington University in 1991, and a Ph.D. in Computational Sciences and Informatics from George Mason University in 1997. He spent 15 years as a software engineer on projects ranging from the PATRIOT Missile System at the Raytheon Corporation to Air Traffic Control for the Federal Systems Division of IBM. From 1999 to 2007, he was a Senior Fellow in Theoretical Neurobiology at The Neurosciences Institute. Since 2008, he has been a Professor in the Department of Cognitive Sciences and the Department of Computer Science at the University of California, Irvine. Krichmar has over 20 years of experience designing adaptive algorithms, creating neurobiologically plausible neural networks, and constructing brain-based robots whose behavior is guided by neurobiologically inspired models. He has over 160 publications and holds 9 patents. His work has been funded by the Defense Advanced Research Projects Agency (DARPA), Intelligence Advanced Research Projects Activity (IARPA), National Science Foundation, and the Air Force Office of Scientific Research. Additionally, he has worked with industry on sponsored research contracts from Qualcomm, Northrup Grumman Corporation, and Toyota Motor North America. He is a Senior Member of IEEE and the Society for Neuroscience. He recently published a book, “Neurorobotics: Connecting the Brain, Body, and Environment” that lays out principles for designing intelligent systems.

DEI Talks | “From Digital Media to Generative AI: The Augmented Environments Lab at Georgia Tech” pelo Prof. Jay Bolter

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).

SINF 2025: concluída mais uma edição da Semana de Informática

Por Álvaro Paralta, SICC, FEUP

“Palestras, workshops e sessões de problem solving. Estas foram algumas das dinâmicas da última edição da Semana de Informática (SINF), organizada pelo Núcleo de Informática da Associação de Estudantes da Faculdade de Engenharia da Universidade do Porto (NIAEFEUP). A iniciativa decorreu entre os dias 21 e 24 de outubro, na Faculdade de Engenharia, e contou com a presença de mais de 20 empresas.

Ao longo dos quatro dias as empresas interagiram livremente com os estudantes da FEUP a partir das respetivas bancas, distribuídas pelo corredor principal da faculdade. Mas não só. Para além da feira de emprego propriamente dita, o programa contemplou ainda workshops, palestras, sessões de problem solving e um jantar de networking entre as empresas com um maior nível de patrocínio no evento e os estudantes convidados.

Segundo Diogo Fernandes, presidente do NIAEFEUP, o balanço geral do evento é “bastante positivo”. “Ficámos com a perceção de que as empresas, de uma forma geral, estavam bastante satisfeitas. E o feedback que tivemos, tanto dos formadores como dos palestrantes, foi de que os estudantes participaram bastante nas suas dinâmicas – sempre muito interessados e participativos”, comenta.

“Para nós, organizar uma SINF é termos a oportunidade de trazer temas novos para os estudantes, assim como proporcionar-lhes mais um momento de contacto com as empresas. Isto é claramente algo em que a FEUP se destaca, de uma forma geral – a facilidade com que conseguimos atingir o tecido empresarial. Há sempre muitas Feiras de Emprego e dinâmicas com empresas que potenciam esta relação. E termos uma dinâmica deste tipo só dedicada à Engenharia Informática é muito importante”, reflete Diogo Fernandes.

Entre as temáticas abordadas na SINF estiveram a Inteligência Artificial, Transformação Digital, Cibersegurança, Computação Quântica, Desenvolvimento de Carreira e Empreendedorismo. “Notamos que esta tem sido uma área que tem surgido cada vez mais – não só pela procura crescente dos estudantes, mas também pelo que temos visto nos eventos em que temos participado”, explica Diogo.

Houve ainda espaço para novidades, como foi o caso das sessões de problem solving e o jantar de networking. “O contacto que uma empresa tem com um estudante, através de uma feira de emprego costuma ser relativamente rápido e não dá para falar e aprofundar muita coisa. Tendo isto em conta, preparámos estas dinâmicas que acreditamos terem permitido um contacto pormenorizado entre a empresa e o estudante”, partilha o presidente do NIAEFEUP.

“Com as sessões de problem solving, proporcionámos às empresas um momento para observarem de perto a capacidade dos estudantes resolverem desafios. Por um lado, conseguimos que os estudantes tivessem um momento mais descontraído; por outro, as empresas puderam ver as suas skills de uma forma muito prática – não só no que respeita à resolução do desafio em si, mas também as suas competências de trabalho em equipa, comunicação e liderança”, explica Diogo Fernandes.

Já o jantar de networking foi também desenvolvido em moldes mais personalizados. As empresas com maior nível de patrocínio tiveram a possibilidade de convidar diretamente os estudantes que de alguma forma as tenham impactado positivamente durante a interação na respetiva banca. Este momento permitiu que as relações entre a entidade empregadora e o possível candidato pudessem ser aprofundadas, fazendo com que os interesses e oportunidades mútuas pudessem ser averiguadas de uma forma mais informal e com mais tempo.

O NIAEFEUP organizou esta edição da SINF no rescaldo do Encontro Nacional de Estudantes de Informática, que aconteceu em abril, na FEUP. “Isto foi um desafio acrescido, porque se tratou de um evento muito grande em que estivemos todos muito dedicados. Isto fez com que acabássemos por arrancar com a SINF um bocado mais tarde”, partilha o estudante. “Foi desafiante, mas já tínhamos um plano bem definido. Acabámos por ficar com bastante experiência do encontro e isso ajudou-nos”.

Com os olhos já a apontar ao futuro, entre os objetivos do NIAEFEUP estão ainda a dinamização, ao longo do ano, de mais sessões de formação com empresas. “Queremos estar mais presentes no processo de formação dos estudantes, indo ao encontro das suas necessidades. E é nisso em que estamos a trabalhar”, conclui Diogo.

Mais informações aqui.”

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

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

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)

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.

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

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.

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

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”

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

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.