DEI Talks | “Safe Evolution of Smart Contracts Supported by LLMs and SMT Solvers” por Augusto Sampaio (UFPE)

A palestra intitulada “Safe Evolution of Smart Contracts Supported by LLMs and SMT Solvers” será apresentada dia 24 de abril, às 14:00, na sala B006, com a moderação de Nuno Macedo (DEI).

Resumo:

“The focus of this talk is a framework that supports the safe deployment and upgrade of smart contracts based on the design-by-contract (dbc) paradigm. The input is (i) an interface specification with invariants and pre- and postconditions for each function, and (ii) an implementation to be verified. The deployed version of a smart contract must conform to this specification. Specification evolution might involve both changing the data representation as well as extending the interface with new functions, provided the evolved specification is a refinement of the original one. A distinguishing feature of the overall approach is the automation of the verification process in a hidden formal methods style. Since developers tend to be reluctant to provide formal specifications for software components, we are investigating state-of-the-art NL processing technologies, using Large Language Models (LLMs), particularly, ChatGPT, to automatically infer formal (dbc) interface specifications from textual requirements. Also, when an upgrade involves change of data representation, we use the Alloy Analyser to automatically infer the relation between the two data representations. The applicability of the framework is evaluated in the context of Solidity smart contracts that implement some Ethereum standards. This project is a collaboration between Universidade Federal de Pernambuco (Brazil), The University College Oxford Blockchain Research Centre (UK), and The Blockhouse Technology Limited (UK).”

Sobre o Palestrante:

Augusto Sampaio is a DPhil from Oxford University, Doctor Honoris Causa from the University of York, Commander of the Brazilian Order of Scientific Merit, a member of the Brazilian Academy of Science, and a Professor at Universidade Federal de Pernambuco. His main research interests are software engineering formal methods; formal approaches to testing; design, simulation and verification of robotic systems; and safe evolution of smart contracts. He is an Editorial Board member of Formal Aspects of Computing (ACM) and Science of Computer Programming (Elsevier), and has been a PC member of leading conferences in the field (FM, ETAPS, SEFM, ICFEM, ICTAC …). He published more than 150 papers and supervised 60 PhD and master’s students.

Novos Doutores homenageados na Conferement Ceremony 2025

O Auditório José Carlos Marques dos Santos recebeu no passado dia 10 de abril, às 17:00, mais uma “Conferment Ceremony – Doctoral Awards & Career Award”, que atribui a mais honrosa distinção a quem completou o doutoramento e defendeu a sua tese no ano letivo 2023/2024.

Foram também entregues os prémios institucionais Prof. Doutor Joaquim Sarmento e Fundação Eng.º António de Almeida, e ainda o Prémio Carreira 2024, este ano atribuído ao Eng.º José Manuel Fernandes, fundador do Grupo FREZITE.

Houve ainda lugar para homenagear os doutorados que completaram 25 ou 50 anos de curso, onde encontramos o docente do DEI, Prof. Rui Carlos Camacho de Sousa Ferreira da Silva, e os que obtiveram o título de Agregado em 2004, onde encontramos o Prof. Gil Manuel Magalhães de Andrade Gonçalves, também docente do DEI.

A alocução final foi assegurada pelo Vice-Reitor da Formação, Organização Académica e Ação Social, Saúde e Bem-Estar, Prof. José Castro Lopes.

Os homenageados doutorados ligados ao DEI:

Programa Doutoral em Engenharia Informática

Artur Jorge da Silva Rocha
Luís Carlos de Sousa Moreira Neto
Maria José Gomes Pedroto
Miguel António Mourão de Abreu
Pedro Miguel dos Santos Pinto
Tiago André Queiroz Soares da Costa
Yassine Baghoussi

Programa Doutoral em Media Digitais

Abel João Gavinho Vaz Tavares Neto
Ana Sofia Airosa Coelho de Passos Baptista
Diogo Fernandes Santos
Hermann Bergmann Garcia e Silva
Joana Patrícia de Sousa Rodrigues
Juliana Carolina Campos Monteiro
Luís Alberto Teixeira Aly (Cum Laude)
Luís Henrique Pinto Arandas
Mariana de Oliveira Magalhães (Cum Laude)

Doutoramento em Informática (Curso conjunto com a FCUP, UA e UM)

Francisco José Torres Ribeiro
Rui António Ramada Rua
Simão Paulo Rato Alves Reis
Thiago de Andrade Silva
Ziad Kassam

DEI Talks | “Cyber Security Threat Landscape in the Context of Industry 4.0” por Haider Abbas

A palestra intitulada “Cyber Security Threat Landscape in the Context of Industry 4.0” será apresentada dia 14 de abril, às 14:30 (1h), na sala I-105, com a moderação de Pedro Diniz (DEI).

Resumo:

Industry 4.0 is revolutionizing the ways in which industries function. Big data, industrial control systems, supervisory control, and data acquisition systems, smart machines, robotics, internet of things (IoT) etc., all fall under the umbrella of Industry 4.0. With the fourth industrial revolution comes new operational risks for smart manufacturers, connected devices, and digital supply networks. With increasing digital transformation and interconnected nature of industry 4.0, cyberattacks can have significantly greater effects than ever before while the manufacturers may not be prepared for the potential risks. Without the strong cybersecurity practices in place, industries can be subject to industrial property theft, production sabotage, industrial espionage etc. To address the cyber risks adequately in the era of industry 4.0, it is crucial to make the cyber security strategies secure and resilient and integrate them fully in the organizational strategies from the beginning. This talk will discuss different types of attacks smart industries can be targeted for. The talk will also recommend some techniques and cyber security practices that the manufacturing industries must adopt to protect themselves against such attacks.

Sobre o Palestrante:

Haider Abbas is the head of the R&D Department at the College of Signals, NUST, and founder of the National Cyber Security Auditing and Evaluation Lab (NCSAEL). He is a Cyber Security expert with advanced training from MIT, Stockholm University, IBM, and EC-Council, and holds a PhD in Information Security. Dr. Abbas is an editor for several renowned journals and has chaired numerous international conferences. He has authored over 130 research papers and has received multiple prestigious awards, including the NUST Best Researcher Award. He is a Fellow of the IET, BCS, and IST, and a Senior Member of IEEE. Additionally, he serves on the Board of Governors for Pakistan’s National Information Technology Board (NITB).

ENEI de regresso ao Porto

O Encontro Nacional de Estudantes de InformáticaENEI’25 está a chegar e, nesta que será a sua 16ª edição, decorrerá de 11 a 14 Abril na Faculdade de Engenharia da Universidade do Porto (FEUP) e no Instituto Superior de Engenharia do Porto (ISEP/IPP), com a organização conjunta dos núcleos estudantis NIAEFEUP (Núcleo de Informática da Associação de Estudantes da Faculdade de Engenharia da Universidade do Porto), NCGM (Núcleo de Computação Gráfi ca e Multimédia) e NEI-ISEP (Núcleo de Estudantes de Informática do Instituto Superior de Engenharia do Porto).

Serão diversas as atividades que os mais de 500 participantes do encontro terão oportunidade de participar, entre palestras (21), workshops (33), competições, feira de emprego e inúmeros momentos de networking, durante os dias e as noites do evento. No programa do evento podem ser conhecidos os horários e os locais das atividades.

A organização destaca algumas das 21 palestras programadas:

“AI, Copilots, and the future of software development” por Eddie Aftandilian, Principal Researcher na Github Next;
“How to look through skin with AI” por Michael Pound, Investigador na Universidade de Nottingham, Membro do Canal de Youtube Computerphile;
“The programmer who didn’t know how to code – Powered by IEEE Portugal” por Charalampos Patrikakis, Professor at University of West Attica. IEEE Distinguished Visitor;
“Cyberwarfare: Who Needs a Gun when you have a Keyboard? – Powered by ACM FEUP” por Haider Abbas, Head of the R&D Department at College of Signals, National University of Sciences and Technology (NUST), Pakistan;
“Que impacto tem o desenvolvimento de software numa equipa de F1?” por João Romão, Graduate Software Engineer na Aston Martin F1 Team;
“Abordagens e Desafios da Realidade Virtual e Aumentada na Saúde e Reabilitação” por Joaquim Jorge, Professor Catedrático no Instituto Superior Técnico (IST). IEEE Fellow. UNESCO Chair on AI & XR.;
“Como fazer software para estúdios de Hollywood” por Nuno Fonseca, Fundador e CEO Sound Particles (Alumnus ProDEI);
“A story on Computer Vision: from zero to hero” por José Costa Pereira, Professor Auxiliar no DEI/FEUP;
“CRDTs: Building blocks for high availability and beyond” por Carlos Baquero (DEI/FEUP) e Nuno Preguiça, co-criadores dos CRDTs;
“Competitive Programming: Will it make you a better programmer?” por André Restivo, Professor Associado no DEI/FEUP.

Também em destaque um Sistema de Pontos que permitirá a obtenção de mais de 100 prémios. Os pontos do evento chamam-se bytes. Todos os participantes poderão ganhar bytes ao participar em atividades, realizar tarefas ou garantir colocações de pódio nas várias competições do evento, entre outros. No website do ENEI haverá uma loja onde se poderão comprar itens com bytes. “Deste modo, não faltará motivação para aproveitar o Programa do evento ao máximo!” afirmam os organizadores.

Descobrir as últimas tendências tecnológicas, encontrar motivação para próximos desafios, conhecer estudantes com interesses em comum, contactar com empresas relevantes na área e sair do evento com novas competências, é o que a organização deseja oferecer a todos os estudantes que se irão deslocar ao Porto no final desta semana.

Apresentação dos Mestrados do DEI

No próximo dia 9 de abril, o Auditório José Carlos Marques dos Santos (FEUP), abrirá portas às 14:30 para todos os que quiserem conhecer a oferta formativa do Departamento de Engenharia Informática (DEI) a nível de segundos ciclos de estudo.

Será uma sessão com o propósito de orientar e esclarecer todos os estudantes que tencionem escolher um dos mestrados oferecidos no DEI. No final das apresentações, os participantes conhecerão com mais detalhe o funcionamentos dos cursos, as suas áreas de estudo, a empregabilidade que cada um oferece, facilitando assim a escolha no momento da candidatura.

Será ainda uma oportunidade para conhecerem os mestrados do Departamento de Ciência de Computadores (FCUP), convidados a estar presentes.

A organização disponibilizou um formulário para que os interessados coloquem as suas dúvidas antecipadamente para qe possam depois ser respondidas no final da sessão.

A entrada é livre, sem necessidade de inscrição.

Programa:

14:30 | Abertura do Auditório
14:45 | Abertura da Sessão
15:00 | Apresentação M.EIC – Mestrado em Engenharia Informática e Computação (Prof. Rui Rodrigues)
15:15 | Apresentação M.IA – Mestrado em Inteligência Artificial (Prof. Henrique Lopes Cardoso)
15:30 | Apresentação MM – Mestrado em Multimédia (Prof. Jorge Barbosa)
15:45 | Apresentação MCI – Mestrado em Ciência da Informação (Prof. Carla Teixeira Lopes)
16:00 | Apresentação MESW – Mestrado em Engenharia de Software (Prof. Nuno Flores)
16:15 | Apresentação MECD – Mestrado em Engenharia e Ciência de Dados (Prof. José Luís Borges)
16:30 | Apresentação Mestrados DCC – FCUP (Prof. Pedro Ribeiro)
16:45 | Q&A sobre processo de candidatura

“Uma viagem pelo asfalto. O rock no Porto nos anos oitenta”

A exposição intitulada “Uma viagem pelo asfalto. O rock no Porto nos anos oitenta“, abrirá portas no próximo dia 8 de abril (inauguração às 18:30) e ficará patente, na Casa Comum, até dia 20 de setembro.

Durante um período alargado de cerca de 5 meses, os visitantes poderão viajar por uma fase fervilhante vivida nos anos 80, em que a cidade do Porto viveu o auge das tribos urbanas, exuberantes, surgidas de um esforço de diferenciação dos jovens e, em simultâneo, da identificação com um grupo que a sociedade reconhecesse como tal.
Eram muitas as tribos, dos punks aos góticos, dos metaleiros aos skinheads e aos rockabillys. Consumia-se música com a avidez da descoberta, com o auxilio das rádios pirata, e frequentavam-se lugares onde se idolatravam bandas como os GNR, os Taxi e os Trabalhadores do Comércio.

A exposição levar-nos-á por essa viagem, através de fotografias, cartazes, recortes de jornais e capas de vinis.

André Cunha, Beatriz Dobbs, Gurpreet Kaur, Inês Aguiar, Patrícia Amaral e Rodrigo Ferreira, estudantes do Mestrado em Multimédia da U.Porto, orientados por Gilberto Bernardes, docente do DEI, contribuíram para esta exposição com o desenvolvimento de uma aplicação interativa para a navegação intuitiva em largos conteúdos multimédia sobre as bandas e os locais fulcrais do Rock no Porto dos 80.

Mais info aqui.

DEI Talks | “Towards AI-Assisted Synthesis of Verified Dafny Methods” pela Prof. Cristina Videira Lopes

A palestra intitulada “Towards AI-Assisted Synthesis of Verified Dafny Methods”, será apresentada no dia 24 de março, às 11:00, na sala I-105, moderada por Rui Maranhão (DEI).

Resumo:

“LLMs show “great promise” in code synthesis. Can they keep the promise and ensure that the synthesized code is provably correct?
In this talk I will present our work on synthesizing formally verified Dafny methods. LLMs don’t know much about Dafny, but they learn fast with proper RAG-CoT prompts. We spent 6 weeks hand-coding 50 verified algorithms in Dafny, and then GPT4 was able to generate 103 new ones with the right postconditions and the necessary verification hints.
Md Rakib Hossain (Misu) co-led the work, with assistance from Iris Ma. Joint work with James Noble.”

Sobre a Palestrante:

Cristina (Crista) Lopes is a Professor in the School of Information and Computer Sciences at University of California, Irvine, with research interests in Programming Languages, Software Engineering, and Distributed Virtual Environments. She is an IEEE Fellow and an ACM Distinguished Scientist. She is the recipient of the 2016 Pizzigati Prize for Software in the Public Interest for her work in the OpenSimulator virtual world platform. Her book “Exercises in Programming Style” has gained rave reviews, including being chosen as “Notable Book” by the ACM Best of Computing reviews.

WIER’25 – Workshop on Informatics Engineering Research

No próximo dia 13 de Março, o Programa Doutoral em Engenharia Informática (ProDEI), promoverá o WIER’25 – Workshop on Informatics Engineering Research, a 20ª edição deste evento anual (anteriormente chamado DSIE), que desde 2006 procura proporcionar aos estudantes do primeiro ano do programa doutoral, organizadores do evento, um ambiente onde possam expor os conceitos de Metodologias de Investigação Científica aplicados aos artigos submetidos.

A edição deste ano vai abrir com a Keynote TalkComputer Vision: from zero to hero”, por José Costa Pereira (docente DEI/FEUP).

António Augusto de Sousa e Rui Maranhão Abreu, Steering Committee do evento e docentes da unidade curricular “Metodologias de Investigação Científica”, consideram que esta é “uma ótima oportunidade dos estudantes exporem e discutirem informalmente os seus trabalhos, como possível contributo para melhorar a construção do conteúdo das suas teses e de colocarem em prática o que aprenderam durante o semestre: a aplicação de métodos científicos ao trabalho de investigação, a análise e revisão crítica de artigos científicos, a escrita de textos científicos, a sua apresentação oral e a organização de encontros científicos”.

Toda a informação sobre o palestrante, e as sessões que irão decorrer ao longo do dia, pode ser conhecida no website do evento.

A entrada é livre, sem necessidade de inscrição.

Estudante do M.IA no pódio da primeira hackathon quântica do país

No centenário da publicação dos trabalhos de Born, Heisenberg e Jordan (+info), a Organização das Nações Unidas para a Educação e a Cultura (UNESCO) declarou 2025 como o Ano Internacional da Ciência e Tecnologia Quânticas (IYQ). A iniciativa mundial, com a duração de um ano, promoverá inúmeras iniciativas destinadas a aumentar a sensibilização do público para a importância da ciência e das aplicações quânticas.

Neste âmbito foi promovida nos dias 8 e 9 de fevereiro a competição PQHack 2025, organizada pelo Núcleo de Ciências e Tecnologias Quânticas (CiTeQ) e acolhido pelo Departamento de Física e Astronomia da Faculdade de Ciências da Universidade do Porto (FCUP).

Durante um fim de semana, 39 participantes, distribuídos por 12 equipas, competiram para resolver um conjunto de desafios de Quantum Machine Learning (QML), propostos por uma equipa de especialistas, utilizando Qadence.

A “SZS” foi a grande vencedora desta primeira hackathon quântica do país, onde encontramos o estudante do Mestrado em Inteligência Artificial (M.IA) David Mesquita Scarin (primeiro na foto) que, juntamente com Lucas Almeida (M:EF) e Carlos Felgueiras (Universidade de Lisboa), conquistaram o 1º lugar e um prémio pecuniário no valor de 700 euros.

As restantes equipas vencedoras podem ser conhecidas no site do evento.

A PQHack está integrada no IQC25, um circuito internacional de hackathons que encerrará com a QuantathonV2, um campeonato que decorrerá de 10 a 12 de outubro de 2025 na Darla Moore School of Business da Universidade da Carolina do Sul.

Foto: FCUP

DEI Talks | “Neuronflow: an event-driven processor architecture for low power AI at the edge” por Orlando Moreira (Snap Inc)

A palestra intitulada “Neuronflow: an event-driven processor architecture for low power AI at the edge” será apresentada no dia 6 de março, pelas 11:30, na sala I-105, com a moderação de Pedro Diniz (DEI).

Resumo:

“This presentation provides an in-depth overview of the GrAIcore Neural Processing Unit (NPU) architecture developed by Snap Inc. for Augmented Reality applications, emphasizing the role of sparsity in achieving significant power and performance improvements compared with traditional architectures. The discussion will focus on the necessity of redesigning traditional computer architectures to adopt an event-driven execution model, which is critical for harnessing the benefits of sparsity. Additionally, the talk will explore advanced training optimization techniques that enhance network activation sparsity, enabling the full potential of the event-driven multicore architecture to be realized. This holistic approach to architectural and algorithmic design is essential for leveraging the unique advantages of the GrAIcore NPU in real-world applications.”

Sobre o Palestrante:

Orlando Moreira is Chief Computer Architect and Senior Manager at Snap Inc. in Eindhoven, Netherlands. His expertise encompasses computer architecture, edge AI, embedded systems, real-time systems, and data flow methodologies. Before his tenure at Snap Inc., Moreira held the position of Chief Architect at GrAI Matter Labs, where he was responsible for the compute architecture and software development kit (SDK) roadmaps.
Before, he worked for Philips Research, ST-Ericsson, Ericsson, and Intel (where he was group leader for programming and core tools – compiler, simulator, debugger and hw generation).
Throughout his career, Moreira has contributed peer-reviewed to the field of computer architecture, particularly in the areas of embedded and cyber-physical systems, as well as the field of real-time design, modeling, and analysis.
He holds a PhD in Electrical Engineering from the University of Eindhoven.