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

Arranque do ‘FEUP Boost Engineering’

Foi lançado oficialmente o novo programa da Faculdade de Engenharia da Universidade do Porto (FEUP), o “FEUP Boost Engenharia”, direcionado às escolas secundárias, oferecendo-lhes a possibilidade de aderir às atividades que fazem parte do cardápio deste projeto.
Falamos de mais de 40 atividades, distribuídas por oficinas/workshops (atividades para os jovem colocarem a “mão na massa” em atividades de aplicação em contexto real) e as engi talks (palestras temáticas sobre tópicos da atualidade abordados do ponto de vista da Engenharia).

E o que deseja a FEUP com esta iniciativa? – “Levar às escolas conceitos de áreas STEM (Science, Technology, Engineering and Mathematics) e promover o debate sobre assuntos da atualidade. Disponível ao longo do ano, o programa pretende fomentar, junto dos mais jovens, a sensibilização para a cultura científica e tecnológica”, escreve Álvaro Paralta, da Talent Unit, no artigo de divulgação do programa.

Serão várias as áreas abordadas nestas atividades, entre as quais encontramos, por exemplo, as alterações climáticas, energias renováveis, economia circular, internet das coisas e a inteligência artificial.

No DEI foram vários os docentes e investigadores mobilizados para a missão de fomentar a curiosidade nestes jovens, e mostrar-lhes que o conhecimento e a tecnologia resolvem problemas, por vezes bem complexos. Carlos Soares, Diana Sousa, Lázaro Costa e Luis Paulo Reis, oferecem , respetivamente: A Inteligência Artificial (Ir)Responsável, Código STEM: decodifica, joga e aprende!, Inteligência Artificial e Inteligência Artificial e Robótica: Desafios e Oportunidades.

Segundo Luís Paulo Reis (DEI), “o FEUP Boost Engenharia proporciona aos alunos uma excelente oportunidade para contactarem diretamente com áreas científicas avançadas, enriquecer a sua formação e identificar interesses e aptidões em fases precoces da sua vida. As atividades vão permitir o desenvolvimento de competências essenciais como o trabalho colaborativo, a resolução de problemas complexos, a utilização de tecnologias emergentes e a capacidade de adaptação a contextos inovadores, fundamentais para enfrentar os desafios do futuro”. É esta a sua convicção, bem visível nas palestras que tem vindo a proferir ao longo dos anos, divulgando as áreas STEM como determinantes para a sociedade que se deseja construir.

Todas as escolas secundárias são elegíveis, podendo submeter a sua inscrição nas atividades propostas no website FEUP Escolas.

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.