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

The talk “Safe Evolution of Smart Contracts Supported by LLMs and SMT Solvers” will be presented April the 24th, at 14:00, in room B006, moderated by Nuno Macedo (DEI).

Abstract:

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

About the Speaker:

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.

New Doctors honoured at Conferment Ceremony 2025

The José Carlos Marques dos Santos Auditorium hosted another ‘Conferment Ceremony – Doctoral Awards & Career Award’ on April the 10th, at 17:00, awarding the most honourable distinction to those who completed their doctorate and defended their thesis in the 2023/2024 academic year.

The Prof. Doutor Joaquim Sarmento and Fundação Eng.º António de Almeida institutional awards were also presented, as well as the 2024 Career Award, this year given to Eng.º José Manuel Fernandes, founder of the FREZITE Group.

There was also time to honour the doctoral graduates who have completed 25 or 50 years of study, including Prof. Rui Carlos Camacho de Sousa Ferreira da Silva (DEI), and those who obtained the title of Agregado in 2004, including Prof. Gil Manuel Magalhães de Andrade Gonçalves, also from DEI.

The final speech was given by the Vice-Rector for Training, Academic Organization, Health and Well-being, Prof. José Castro Lopes.

The honoured doctorates linked to DEI:

Doctoral Programme in Informatics Engineering

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

Doctoral Programme in Digital Media

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)

PhD in Computer Science (Joint programme with FCUP, UA and 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” by Haider Abbas

The talk “Cyber Security Threat Landscape in the Context of Industry 4.0” will be presented April the 14th, at 14:30 (1h), in room I-105, moderated by Pedro Diniz (DEI).

Abstract:

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.

About the Speaker:

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 back to Porto

The Encontro Nacional de estudantes de Informática ENEI’25 is coming up and on its 16th edition, will take place from 11 to 14 April at the Faculty of Engineering of the University of Porto (FEUP) and the Higher Institute of Engineering of Porto (ISEP/IPP), organised jointly by the student groups NIAEFEUP (Informatics Engineering Group of the Students‘ Association of the Faculty of Engineering of the University of Porto), NCGM (Computer Graphics and Multimedia Group) and NEI-ISEP (Computer Science Students’ Group of the Higher Engineering Institute of Porto).

The more than 500 participants of the event will have the opportunity to take part in a wide range of activities, including talks (21), workshops (33), competitions, a job fair and countless networking moments throughout the days and nights of the event. Times and locations of the activities can be found at the event’s webpage.

The organisation highlights some of the 21 talks scheduled:

‘AI, Copilots, and the future of software development’ by Eddie Aftandilian, Principal Researcher at Github Next;
‘How to look through skin with AI’ by Michael Pound, Researcher at the University of Nottingham, Member of the Youtube Channel Computerphile;
‘The programmer who didn’t know how to code – Powered by IEEE Portugal’ by 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’ by Haider Abbas, Head of the R&D Department at College of Signals, National University of Sciences and Technology (NUST), Pakistan;
‘What impact does software development have on an F1 team?’ by João Romão, Graduate Software Engineer at Aston Martin F1 Team;
‘Approaches and Challenges of Virtual and Augmented Reality in Health and Rehabilitation’ by Joaquim Jorge, Full Professor at the Instituto Superior Técnico (IST). IEEE Fellow. UNESCO Chair on AI & XR;
‘How to make software for Hollywood studios’ by Nuno Fonseca, Founder and CEO Sound Particles (Alumnus ProDEI);
‘A story on Computer Vision: from zero to hero’ by José Costa Pereira, Assistant Professor at DEI/FEUP;
‘CRDTs: Building blocks for high availability and beyond’ by Carlos Baquero (DEI/FEUP) and Nuno Preguiça, co-creators of CRDTs;
‘Competitive Programming: Will it make you a better programmer?’ by André Restivo, Associate Professor at DEI/FEUP.

Also on show there will be a Points System that will allow participants to win more than 100 prizes. The event’s points are called bytes. All participants will be able to earn bytes by taking part in activities, completing tasks or securing podium places in the event’s various competitions, among other things. On the ENEI website there will be a shop where can be bought items with bytes. ‘This way, participants will have plenty of motivation to make the most of the event’s programme!’ say the organisers.

Discovering the latest technological trends, finding motivation for upcoming challenges, meeting students with common interests, contacting relevant companies in the field and leaving the event with new skills is what the organisers want to offer to all students travelling to Porto at the end of the week for what’s expected to be one of the best ENEI’s ever!

DEI joins FEUP delegation on mission to the Netherlands

A delegation led by Professor Rui Calçada, Director of the Faculty of Engineering of the University of Porto (FEUP), travelled to the Netherlands on an institutional mission between March the 25th and 29th.

The delegation also included Professors João Tavares, Director of the Department of Mechanical Engineering, Raul Vidal, Emeritus Professor at the University of Porto and Coordinator for Alumni Relations at FEUP, Alexandra Pinto, Pro-Director for Cooperation, representing the Department of Chemical and Biological Engineering, João Canas Ferreira and Vítor Tavares, representing the Department of Electrical and Computer Engineering, Mariana Malta and Francisco Maia, representing the Department of Informatics Engineering.

On the first day, the delegation had the opportunity to visit TU Delft, where they met with various teachers, researchers and technicians and where, according to Rui Calçada, ‘it was possible to deepen partnerships with one of the most prestigious European technological universities’. The visit to the Dream Hall, where students develop highly innovative multidisciplinary projects with strong links to industry and international recognition, was one of the highlights of the visit. According to João Canas Ferreira, ‘the “Dream Hall” – a vibrant space dedicated to innovation and student projects – left me particularly impressed’.

At TU Eindhoven (TU/e), the delegation was welcomed by Francisco Caetano, a PhD candidate at that university and FEUP alumnus, and was able to attend various presentations by lecturers and researchers in the areas of electronics, emerging technologies and video coding architectures. Rui Calçada emphasises that ‘direct contact with the innovation ecosystem and with FEUP alumni currently integrated there revealed multiple opportunities for academic and scientific cooperation’. João Canas Ferreira was impressed by ‘the work carried out in the areas of electronics and embedded systems, revealing the high level of research and teaching that this institution offers’. Vítor Tavares, meanwhile, emphasised that ‘it was particularly revealing to see how academic institutions promote student autonomy, encouraging teamwork in truly collaborative contexts’.

The last day of the visit was spent at ASML, a world reference company in the semiconductor sector, founded in 1984 and with more than 44,000 employees worldwide. This initiative was attended by Clara Nunes dos Santos, Portuguese Ambassador to the Netherlands, Rui Almas, Director of AICEP Benelux and Marisa Monteiro Borsboom, President of the Portugal-Netherlands Chamber of Commerce and Industry.
With more than 100 FEUP engineers in the company, ‘this visit highlighted the impact of our training and the international recognition of Portuguese talent,’ says Rui Calçada. Mariana Malta was impressed to ‘interact with Alumni at their place of work – a leading company in the chip printing machine production sector, which, due to its extraordinary skills, is a very important asset for Europe at this troubled time in the world. These alumni are our worthy representatives in that country. It was gratifying to see how they are seen as professionals of excellence.’

This mission ended on a high note. Joana Donas and Viviana Silva, FEUP’s Alumni Ambassadors in the Netherlands, organised a dinner together with FEUP’s Alumni Office with the community of former students from the Faculty of Engineering living and working in the Netherlands. ‘It was a moment of reunion, sharing and great emotion. These engineers, now part of leading companies and research centres, are living testimonies to the excellence of our training and true ambassadors for FEUP around the world,’ says Rui Calçada.

‘As a lecturer for just over a year at FEUP, I have realised the legacy that has been passed on to me and the responsibility that this entails: to continue to produce professionals of excellence, who, whether they stay or go, are worthy representatives of the teaching excellence that we want to establish at FEUP every day,” says Mariana Malta.

Francisco Maia felt inspired and shared that ‘the proximity to spaces, people, universities and companies that have contributed so much to science and technology drives us to continue and strengthen the work we do at our university. This visit was an opportunity to broaden the horizons of what we can do, take note of what we already do well and reflect on how to improve.’ Regarding the Alumni event, Vítor Tavares praised ‘the excellent opportunity to meet former students again in a relaxed atmosphere, to realise the positive impact their experience at FEUP has had on their professional careers and to recognise the valuable role they play as ambassadors for our academy.’

There was also time for an audience at the Portuguese Embassy in The Hague, at the invitation of the Ambassador, a moment of great institutional symbolism.

‘The ties of cooperation between Portugal and the Netherlands in the fields of science, technology and higher education were strengthened, with FEUP asserting itself as an active and strategic partner in this international dialogue,’ said Rui Calçada, for whom ’this mission reinforces FEUP’s commitment to internationalisation, excellence and building bridges to the future.’

Article written by Joana G. Pinto/ SICC, FEUP

Photo (from left to right): Raul Vidal (Professor Emeritus at U.Porto), Francisco Maia (Professor at DEI/FEUP), Sandra Lucas (Professor at TU/e), Mariana Malta (Professor at DEI/FEUP), Alexandra Pinto (Professor at DEQB/FEUP) and Rui Calçada (FEUP’s Director).

DEI Master’s Presentation

On April 9th, the José Carlos Marques dos Santos Auditorium (FEUP) will open its doors at 14:30 for all those who wish to find out about the master´s programmes at the Department of Informatics Engineering (DEI).

It will be a session aimed at providing guidance and clarification for all students who intend to choose one of the master’s programmes offered at DEI. At the end of the presentations, participants will be able to find out in more detail how the courses work, their areas of study and the employability offered by each one, thus making it easier to choose when applying.

It will also be an opportunity to get to know the master’s programmes of the Department of Computer Science (FCUP), which have been invited to participate.

The organisation has provided a form for those interested to ask questions in advance so that they can be answered at the end of the session.

Admission is free and registration is not required.

Programme

14:30 | Auditorium opening
14:45 | Opening of the session
15:00 | Presentation M.EIC – Master’s in Informatics and Computing Engineering (Prof. Rui Rodrigues)
15:15 | Presentation M.IA – Master’s in Artificial Intelligence (Prof. Henrique Lopes Cardoso)
15:30 | Presentation MM – Master’s in Multimedia (Prof. Jorge Barbosa)
15:45 | Presentation MCI – Master’s in Information Science (Prof. Carla Teixeira Lopes)
16:00 | Presentation MESW – Master’s in Software Engineering (Prof. Nuno Flores)
16:15 | Presentation MECD – Master’s in Data Science and Engineering (Prof. José Luís Borges)
16:30 | DCC – FCUP Masters Presentation (Prof. Pedro Ribeiro)
16:45 | Q&A on the application process

‘A journey through the asphalt. Rock music in Porto in the 1980s’

The exhibition entitled ‘Uma viagem pelo asfalto. O rock no Porto nos anos oitenta’ will open on April 8 (opening at 18:30) and will be on display at Casa Comum until September 20.

For an extended period of around five months, visitors will be able to travel through a boiling phase in the 1980s, when the city of Porto experienced the heyday of exuberant urban tribes, which arose from an effort by young people to differentiate themselves and, at the same time, identify with a group that society recognised as such.
There were many tribes, from punks to goths, from metalheads to skinheads and rockabillys. Music was consumed with the avidity of discovery, with the help of pirate radios, and people went to places where they idolised bands like GNR, Taxi and Trabalhadores do Comércio.

The exhibition will take us on this journey through photographs, posters, newspaper cuttings and vinyl covers.

André Cunha, Beatriz Dobbs, Gurpreet Kaur, Inês Aguiar, Patrícia Amaral and Rodrigo Ferreira, students of the Master in Multimedia of U.Porto, supervised by Gilberto Bernardes, a lecturer at DEI, contributed to this exhibition by developing an interactive application for intuitive navigation through a wide range of multimedia content about the bands and key venues of Rock in Porto in the 80s.

More info here.

Gilberto Bernardes at the 1st ‘Há Conversas na Movida’

On March 26, the Plano B nightclub hosted the first meeting of ‘Há Conversas na Movida’. The initiative, launched by the municipality, was designed for the economic agents of Porto’s Movida area and will feature five informal talks on five topics, led by experts, at five venues in the city’s nightlife area over the course of 2025.

For two hours, this first talk focussed on the theme of sound and the role of music in developing the local economy and enriching Porto’s culture and identity.

The Councillor for Economic Activities and Supervision, Filipa Correia Pinto, opened the session and explained that the main aim of the initiative is for each talk to contribute to a regular debate and exchange of experiences between economic agents, the sharing of good practices, greater knowledge on various topicsand, above all, the recognition and appreciation of the community and the economic ecosystem of this central area of Porto.

Daniel Duque, director and editor of Cabine – Cultura Eletrónica Portuguesa, moderated the conversation with the guests Gilberto Bernardes, musician, lecturer at DEI/FEUP and researcher at INESC TEC, and Rúben Domingues, curator and director of RDZ Music Agency.

Gilberto Bernardes, head of the Sound and Music Computing Laboratory, spoke about advances in sound technology and new musical solutions, namely the existence of speakers that allow you to direct the sound of music and the possibility of creating immersive experiences by synchronising sound and light.

Rúben Domingues, a producer and curator of musical events in Portugal, presented some musical projects he has been implementing in Porto, stressing the importance of installing sound limiters and studying the location of the stage at events, as a way of minimising the noise emitted by the sound.

This was followed by a question and answer session with the participants, mostly nightlife establishments in the Movida area.

Bernardo Leite (ProDEI) in the final of Three Minute Thesis

The 4th edition of the U.Porto 3MT® (Three Minute Thesis) competition, an initiative that challenges doctoral students at the University of Porto to test and put into practice their communication skills, will have its final on May 16th at the Salão Nobre of U.Porto’s Rectorate.

There are 20 finalists who will be challenged to communicate science in a final that will be open to the whole community.

Bernardo Leite, a student of the Doctoral Programme in Informatics Engineering (ProDEI), will be one of the 8 FEUP representatives to explain his research work in just 3 minutes: Student-centric question generation.

Ever since he was a child, Bernardo has had a great passion for computers and how they work. He is currently a fully motivated researcher and professional in the field of Computer Science. His main areas of interest are Artificial Intelligence, Natural Language Processing, Computer Supported Education and Question Generation (his PhD project, supervised by Henrique Lopes Cardoso (DEI)).

The Three Minute Thesis is sponsored by Caixa Geral de Depósitos and will award a cash prize of 2000 euros to the winner and an honourable mention of 1000 euros.

L.EIC students among the winners of U.Porto’s 2025 Incentive Award

On 24 March, at the Solemn Session of Dia da Universidade 2025, the students António Lourenço Rodrigues and Luís Barbosa, from the Bachelor in Informatics and Computing Engineering (L.EIC), were awarded the Incentive Prize 2025, for the best 1st year students from the 14 faculties of U.Porto in the academic year 2023/2024.

The 22 awarded students stood out for the exceptional quality of their academic career in the 1st year of the program, led by António Lourenço Rodrigues, who finished with an average of 19.83 marks. Luís Barbosa was also on the 19 mark (19.35) with an equally fantastic first year.

António said in an interview about the prize: ‘The Incentive Award represents recognition, on the part of the University, of my efforts throughout the first year. For me, it’s one more motivation to keep doing my best and improving academically.’ The interview given to the U.Porto’s communication team can be read in full here.

Luís Barbosa also sees the Incentive Award as recognition of his efforts over the past year. “It’s a motivation to keep learning and studying” says Luís in his interview.

The Incentive Award has been awarded annually since 2010 and corresponds to an individual monetary prize corresponding to the annual tuition fee applied to U.Porto’s national students.

Photo (from left to the right): Luís Barbosa and António Lourenço Rodrigues.