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.

DEI integra Comitiva da FEUP em Missão aos Países Baixos

Uma comitiva liderada pelo Professor Rui Calçada, Diretor da Faculdade de Engenharia da Universidade do Porto (FEUP), deslocou-se aos Países Baixos numa missão institucional entre 25 e 29 de março.

A delegação incluiu ainda os Professores João Tavares, Diretor do Departamento de Engenharia Mecânica, Raul Vidal, Professor Emérito da Universidade do Porto e Coordenador para as Relações Alumni da FEUP, Alexandra Pinto, Pró-Diretora para a Cooperação, em representação do Departamento de Engenharia Química e Biológica, João Canas Ferreira e Vítor Tavares, em representação do Departamento do Departamento de Engenharia Eletrotécnica e de Computadores, Mariana Malta e Francisco Maia, a representar o Departamento de Engenharia Informática.

No primeiro dia, a comitiva teve a oportunidade de visitar a TU Delft, onde reuniu com vários docentes, investigadores e técnicos e onde, segundo Rui Calçada, “foi possível aprofundar parcerias com uma das mais prestigiadas universidades tecnológicas europeias”. A visita ao Dream Hall, espaço onde estudantes desenvolvem projetos multidisciplinares altamente inovadores, com forte ligação à indústria e reconhecimento internacional, foi um dos momentos altos da visita. Segundo João Canas Ferreira, “o ‘Dream Hall’ – um espaço vibrante dedicado à inovação e aos projetos dos estudantes – deixou-me particularmente impressionado”.

Na TU Eindhoven (TU/e), a delegação foi recebida por Francisco Caetano, PhD candidate nessa universidade e Alumni da FEUP, e pode assistir a várias apresentações de docentes e investigadores das áreas da eletrónica, tecnologias emergentes e arquiteturas de codificação de vídeo. Rui Calçada salienta que “o contacto direto com o ecossistema de inovação e com Alumni da FEUP atualmente ali integrados revelou múltiplas oportunidades de cooperação académica e científica”. João Canas Ferreira ficou impressionado “com o trabalho desenvolvido nas áreas de eletrónica e sistemas embarcados, revelando o elevado nível de investigação e ensino que esta instituição oferece”. Já Vítor Tavares, destacou que “foi particularmente revelador observar como as instituições académicas promovem a autonomia dos estudantes, incentivando o trabalho em equipa em contextos verdadeiramente colaborativos”.

O último dia da visita foi passado na ASML, uma empresa de referência mundial no setor dos semicondutores, fundada em 1984 e que conta com mais de 44 000 colaboradores em todo o mundo. Esta iniciativa contou com a presença de Clara Nunes dos Santos, Embaixadora de Portugal na Holanda, Rui Almas, Diretor da AICEP Benelux e Marisa Monteiro Borsboom, Presidente da Câmara de Comércio e Indústria Portugal-Holanda.
Com mais de 100 engenheiros da FEUP na empresa, “esta visita evidenciou o impacto da nossa formação e o reconhecimento internacional do talento português”, afirma Rui Calçada. Mariana Malta ficou impressionada por “interagir com Alumni no seu local de trabalho – uma empresa líder no sector de produção de máquinas para impressão de chips, e que pelas suas competências extraordinárias, é, neste momento conturbado a nível mundial, um trunfo muito importante para a Europa. Estes Alumni são nossos dignos representantes naquele país. Foi gratificante ver como são vistos como profissionais de excelência.

Esta missão fechou com chave de ouro. Joana Donas e Viviana Silva, Embaixadoras Alumni FEUP nos Países Baixos, organizaram juntamente com o Gabinete Alumni da FEUP, um jantar com a comunidade de antigos estudantes da Faculdade de Engenharia a viver e a trabalhar nos Países Baixos. “Foi um momento de reencontro, partilha e grande emoção. Estes engenheiros, hoje integrados em empresas e centros de investigação de referência, são testemunhos vivos da excelência da nossa formação e verdadeiros embaixadores da FEUP no mundo”, afirma Rui Calçada.
“Como docente há pouco mais de um ano na FEUP, entendi o legado que me foi passado e a responsabilidade que isso acarreta: continuar a produzir profissionais de excelência, que quer fiquem ou partam, são dignos representantes do ensino de excelência que desejamos estabelecer na FEUP todos os dias”, revela Mariana Malta.

Francisco Maia sentiu-se inspirado e partilhou que “a proximidade a espaços, pessoas, universidades e empresas que tanto contribuíram e contribuem para a ciência e tecnologia impele-nos a continuar e a reforçar o trabalho que fazemos na nossa universidade. Esta visita foi uma oportunidade para alargar os horizontes daquilo que podemos fazer, tomar nota daquilo que já fazemos bem e refletir sobre como melhorar.” Sobre o evento Alumni, Vítor Tavares enaltece “a excelente oportunidade para reencontrar antigos estudantes num ambiente descontraído, perceber o impacto positivo que a experiência na FEUP teve nas suas trajetórias profissionais e reconhecer o papel valioso que desempenham enquanto embaixadores da nossa academia.”

Houve ainda tempo para uma audiência na Embaixada de Portugal em Haia, a convite da Senhora Embaixadora, um momento de grande simbolismo institucional.

Reforçaram-se os laços de cooperação entre Portugal e os Países Baixos nos domínios da ciência, da tecnologia e do ensino superior, com a FEUP a afirmar-se como uma parceira ativa e estratégica neste diálogo internacional”, reforça Rui Calçada, para quem “esta missão reforça o compromisso da FEUP com a internacionalização, a excelência e a construção de pontes para o futuro”.

Artigo escrito por Joana G. Pinto/ SICC, FEUP

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.

Gilberto Bernardes na 1ª “Há Conversas na Movida”

No passado dia 26 de março, a discoteca Plano B recebeu o primeiro encontro de “Há Conversas na Movida”. A iniciativa, lançada pelo município, foi pensada para os agentes económicos da Zona da Movida do Porto e terá, ao longo de 2025, cinco conversas informais, sobre cinco temas, conduzidos por especialistas, em cinco espaços da zona de animação noturna da cidade.

Durante duas horas, esta primeira conversa debruçou-se sobre o tema do som e o papel da música no desenvolvimento da economia local e no enriquecimento da cultura e identidade do Porto.

A Vereadora das Atividades Económicas e Fiscalização, Filipa Correia Pinto, abriu a sessão e esclareceu que o grande objetivo da iniciativa é que cada conversa contribua para um debate regular e troca de experiências entre agentes económicos, partilha de boas práticas, maior conhecimento sobre diversas temáticas e, sobretudo, para o reconhecimento e valorização da comunidade e do ecossistema económico desta zona central do Porto.

Daniel Duque, diretor e editor da Cabine – Cultura Eletrónica Portuguesa, moderou a conversa que teve a contribuição de Gilberto Bernardes, músico, docente do DEI/FEUP e investigador no INESC TEC, e Rúben Domingues, curador e diretor da RDZ Music Agency.

Gilberto Bernardes, responsável pelo Laboratório de Computação Sonora e Musical, falou sobre os avanços da tecnologia ao nível sonoro e no âmbito de novas soluções musicais, nomeadamente na existência de colunas que permitem direcionar o som da música e na possibilidade de criação de experiências imersivas, através da sincronização de som e luz.

Rúben Domingues, produtor e curador de eventos musicais em Portugal, apresentou projetos musicais que tem vindo a implementar no Porto, tendo sublinhado a importância da instalação de limitadores de som e do estudo da localização do palco nos eventos, como forma de minimizar o ruído emitido pelo som.

Seguiu-se um período de perguntas e respostas com os participantes, maioritariamente estabelecimentos de animação noturna da Zona da Movida.

Bernardo Leite (ProDEI) na final da Three Minute Thesis

A 4.ª edição da competição U.Porto 3MT® (Three Minute Thesis), iniciativa que desafia estudantes de doutoramento da Universidade do Porto a testarem e a colocarem em prática as suas capacidades de comunicação, vai ter a sua final no dia 16 de maio, no Salão Nobre da Reitoria da U.Porto.

São 20 os finalistas que serão desafiados a comunicar ciência numa final que será aberta a toda a comunidade.

Bernardo Leite, estudante do Programa Doutoral em Engenharia Informática (ProDEI), será um dos 8 representantes da FEUP a explicar, em apenas 3 minutos, o seu trabalho de investigação: Student-centric question generation.

Desde criança que Bernardo tem uma grande paixão por computadores e pelo seu funcionamento. Atualmente é um investigador e profissional totalmente motivado na área das Ciências da Computação. As suas principais áreas de interesse são a Inteligência Artificial, o Processamento de Linguagem Natural, a Educação Apoiada por Computador e a Geração de Perguntas (o seu projeto de doutoramento, orientado por Henrique Lopes Cardoso (DEI)).

Three Minute Thesis é patrocinada pela Caixa Geral de Depósitos e irá atribuir um prémio monetário de 2000 euros ao vencedor e uma menção honrosa no valor de 1000 euros.

Estudantes da L.EIC entre os vencedores do Prémio Incentivo 2025 da U.Porto

Foi no passado dia 24 de março, em Sessão Solene do Dia da Universidade 2025, que os estudantes António Lourenço Rodrigues e Luís Barbosa, da Licenciatura em Engenharia Informática e Computação (L.EIC), foram distinguidos com o Prémio Incentivo 2025, destinado aos melhores estudantes do 1.º ano das 14 faculdades da U.Porto, no ano letivo 2023/2024.

Os 22 estudantes galardoados destacaram-se pela qualidade excecional do seu percurso académico no 1º ano do curso, lista liderada por António Lourenço Rodrigues, que terminou com uma média de 19,83 valores. Luís Barbosa ficou também no patamar dos 19 valores (19,35) com um percurso igualmente fantástico.

Sobre o Prémio, António diz em entrevista que: “O Prémio Incentivo representa um reconhecimento, por parte da Universidade, do meu esforço ao longo do primeiro ano. Para mim, é mais uma motivação para continuar a dar o meu melhor e a evoluir a nível académico”. A entrevista dada à equipa de comunicação da Reitoria da U.Porto pode ser lida na íntegra aqui.

Luís Barbosa também encara o Prémio Incentivo como um reconhecimento do seu esforço ao longo do ano passado. “É uma motivação para continuar a aprender e estudar“, diz Luís na sua entrevista.

O Prémio Incentivo é atribuído anualmente desde 2010 e corresponde a um prémio monetário individual, correspondente ao valor da propina anual aplicada aos estudantes nacionais da U.Porto.

António Lourenço Rodrigues é o 2º na fotografia, Luís Barbosa, o 1º.