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.

‘FEUP Boost Engineering’ kicks off

The new programme of the Faculty of Engineering of the University of Porto (FEUP), ‘FEUP Boost Engineering’, has been officially launched, a project aimed at secondary schools, offering them the chance to take part in the activities that are part of the project’s offer.
We’re talking about more than 40 activities, divided into workshops (activities for young people to ‘get their hands dirty’ in real-life application activities) and the engi talks (themed lectures on current topics from an engineering perspective).

And what is FEUP’s goal with this initiative? – “To bring STEM (Science, Technology, Engineering and Mathematics) concepts to schools and promote debate on current issues. Available throughout the year, the programme aims to raise awareness of scientific and technological culture among young people,” writes Álvaro Paralta, from the Talent Unit, in the article promoting the programme.

There will be several areas covered in these activities, including climate change, renewable energies, the circular economy, the internet of things and artificial intelligence.

At DEI, several teachers and researchers have been mobilised to foster curiosity in these young people and show them that knowledge and technology can solve very complex problems. Carlos Soares, Diana Sousa, Lázaro Costa and Luis Paulo Reis offer, respectively: (Ir)Responsible Artificial Intelligence, STEM Code: decode, play and learn!, Artificial Intelligence and Artificial Intelligence and Robotics: Challenges and Opportunities.

According to Luís Paulo Reis (DEI), “FEUP Boost Engineering provides students with an excellent opportunity to have direct contact with advanced scientific areas, enrich their training and identify interests and skills at an early stage in their lives. The activities will enable the development of essential skills such as collaborative work, complex problem solving, the use of emerging technologies and the ability to adapt to innovative contexts, which are fundamental to meeting the challenges of the future.” This is his conviction, which is clearly visible in the lectures he has given over the years, publicising STEM areas as crucial to the society we want to build.

All secondary schools are eligible and can submit their enrolment for the proposed activities at FEUP Escolas website.

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

The talk “Towards AI-Assisted Synthesis of Verified Dafny Methods”, will be presented March the 24th, at 11:00, in room I-105, moderated by Rui Maranhão (DEI).

Abstract:

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

About the Speaker:

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.