Última Aula do Prof. A. Augusto Sousa

Na passada segunda feira, dia 26 de maio, o Auditório José Carlos Marques dos Santos encheu para assistir à Última Aula do Prof. A. Augusto de Sousa, que se despede assim de uma carreira universitária com mais de 40 anos.

Computação Gráfica e Realidades Múltiplas: explicando uma carreira” foi apresentada a centenas de estudantes (antigos e atuais), colegas docentes e técnicos, familia e amigos, que fizeram questão de estar presente neste que foi um momento emocionante para todos os que assistiram.

“A Computação Gráfica permite representar e interagir com objetos virtuais, assim como sintetizar imagens dos mesmos. As ferramentas, os modelos e os algoritmos são inúmeros e permitem desenvolver várias realidades, sejam elas virtuais, aumentadas ou mistas. Talvez, com alguma imaginação, possam também modelar a realidade da carreira de um docente universitário.” – E assim foi neste caso. Uma carreira universitária que teve inicio em 1983, ainda como assistente estagiário, e que viria a ser percorrida de Km de caminhos diversos, sempre impulsionados pela paixão pelo Ensino e pela Pedagogia.

A sessão terminou em festa com a atuação da TUNAFE, da TEUP e do Grupo de Fados da FEUP.

A última aula teve transmissão direta, tendo sido gravada e disponibilizada aqui.

Linking Great Partners 2025

A Faculdade de Engenharia da Universidade do Porto acolhe no próximo dia 3 de junho o evento Linking Great Partners 2025, evento emblemático do Departamento de Engenharia Informática (DEI), reconhecido pelo impacto do contributo dos estudantes e da Universidade, no ecossistema de inovação regional.

Decorrerá ao longo de todo o dia no auditório José Carlos Marques dos Santos, em dois momentos, o LGP Challenge (sessão de pitch, dividido em quatro atos) e o Tech in Action (feira de produtos, divido em dois momentos).

Relativamente ao LGP Challenge, o primeiro ato – innovating with AI – inclui as startups de LGP que desenvolveram soluções em baseadas em AI. O segundo ato – innovating with the market – é composto por um painel com as startups que exploraram ideias propostas pelos estudantes e desenvolveram esses produtos interagindo com o mercado. No terceiro ato – innovating with organisations – apresentam as startups que desenvolveram soluções para melhoria dos processos das organizações. O último ato – innovating with society – inclui as startups que desenvolveram soluções em colaboração com atores da sociedade.

São 29 as proto-startups criadas pelos cerca de 320 estudantes inscritos na unidade curricular de Laboratório de Gestão de Projetos (LGP), provenientes de diversos cursos da Faculdade de Engenharia (FEUP) e da Faculdade de Economia (FEP) para dar resposta os desafios reais apresentados pelas 23 organizações parceiras e a oportunidades identificadas no mercado.

A partir da aplicação de métodos ágeis de desenvolvimento de software e de experimentação, as equipas de estudantes desenvolveram várias soluções tecnológicas inovadoras, como é o caso de “Saudade à Viola”, um projeto desenvolvido em conjunto com o artista Gil Ferreira onde um avatar digital junta-se em palco, reagindo em tempo real à sua voz e acrescentando elementos visuais à história de cada música; e da plataforma “HackTrack” para a aprendizagem sobre cibersegurança através de desafios do mundo real, em colaboração com a Associação Visionarium. Nesta edição de 2025 foram também concebidos os produtos “Immersia Stations”, uma solução para experiências interativas e imersivas em museus e ainda a “Há Cartas?”, uma aplicação móvel que permite transformar qualquer momento numa oportunidade para jogar às cartas, mesmo que todos se tenham esquecido de trazer as cartas. Estes são apenas alguns exemplos dos produtos que serão apresentados durante o evento.

Luis Filipe Teixeira, coordenador da unidade curricular e Professor Associado do DEI, destaca que esta abordagem “dá aos estudantes uma oportunidade de adquirir não só competências técnicas, mas também capacidades de colaboração, resiliência e criatividade, ao navegarem pela incerteza e pela complexidade do desenvolvimento de produtos tecnológicos para clientes e para o mercado” e acrescenta que “LGP promove um ambiente onde a experimentação é encorajada e onde os alunos assumem papéis empreendedores, envolvem-se com stakeholders reais e aprendem na prática.”

Para Raul Vidal, Professor Emérito da Faculdade de Engenharia, “ao envolver estudantes de várias esferas curriculares e de perfis distintos num trabalho colaborativo que instiga o pensamento crítico e criativo, o LGP assume-se como uma oportunidade ímpar para desenvolver competências nas áreas de gestão de projeto, trabalho em equipa, interação com os clientes, marketing, comunicação, e tantas outras valências que fazem dos nossos estudantes futuros profissionais com um perfil verdadeiramente diferenciado e os preparam para serem futuros líderes”.

O Linking Great Partners 2025 poderá ser acompanhado em direto através do canal Youtube do evento.

Provas de Doutoramento em Media Digitais “Interaction methods for digital musical instruments: Application in personal devices”

Candidato:
Alexandre Resende Clément

Data, Hora e Local:
5 de junho de 2025, 14:30, Sala de Atos da Faculdade de Engenharia da Universidade do Porto

Presidente do Júri:
Doutor António Fernando Vasconcelos Cunha Castro Coelho, Professor Associado com Agregação da Faculdade de Engenharia da Universidade do Porto

Vogais:
Doutor Marcelo Mortensen Wanderley, Professor Catedrático do Departmento de Music Research da Schulich School of Music da McGill University, Canadá;
Doutor Damián Keller, Professor Titular do Centro de Educação, Letras e Artes da Universidade Federal do Acre, Brasil;
Doutora Sofia Carmen Faria Maia Cavaco, Professora Auxiliar do Departamento de Informática da Faculdade de Ciências e Tecnologia da Universidade NOVA de Lisboa;
Doutor Rui Pedro Amaral Rodrigues, Professor Associado do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto;
Doutor Gilberto Bernardes de Almeida, Professor Auxiliar do Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto (Orientador).

A tese foi coorientadada pelo Doutor Rui Luis Nogueira Penha, Professor Coordenador na Escola Superior de Música e Artes do Espetáculo, Instituto Politécnico do Porto.

Resumo:

“Esta tese explora o potencial da utilização de dispositivos móveis como ferramentas para a interação e performance participativa com instrumentos musicais digitais. Orientada pelos princípios da música ubíqua e interação intuitiva, esta investigação analisa de que forma os dispositivos móveis podem ser apropriados para resolver desafios e criar oportunidades na criação musical contemporânea, através de abordagens participativas, mapeamento gestual e feedback multimodal. O núcleo deste trabalho é constituído por três experiências. A primeira descreve e avalia um sistema permitindo a participação de públicos de grandes dimensões em performances multimédia. Destaca a possibilidade de utilização destes dispositivos para envolver os utilizadores e promover a colaboração, revelando também desafios no design de interações intuitivas para participantes inexperientes. A segunda experiência examina de que forma os utilizadores representam instintivamente parâmetros musicais básicos – como afinação, duração e amplitude – através de mapeamento gestual, e o impacto da sua experiência musical nas estratégias de interação escolhidas. A terceira centra-se no estudo da influência do feedback multimodal, combinando modalidades auditivas, visuais e hápticas, em tarefas de afinação musical de notas. Os resultados reforçam a necessidade de elaborar diretrizes padronizadas para a interação e de integrar feedback multimodal, de forma a tornar os instrumentos digitais musicais mais acessíveis e intuitivos. A experiência 1 mostrou que a ausência de um modelo de interação unificado limita o envolvimento intuitivo, realçando a necessidade de padronização que equilibre criatividade individual e intenção colectiva. A experiência 2 encontrou preferências claras do utilizador para mapeamentos de gestos de início, afinação e duração de notas musicais, ancorados na familiaridade cultural e sustentando a importância de manter o design associado ao contexto. A experiência 3 mostrou que, embora o feedback multimodal demonstre pouco efeito imediato na precisão na afinação de notas musicais, melhorou a confiança do utilizador e pode ajudar na aprendizagem a longo prazo. Esta investigação contribui para a compreensão de como os dispositivos móveis podem apoiar as práticas musicais participativas e criativas, promovendo o desenvolvimento de ferramentas musicais inclusivas, fáceis de usar e versáteis.”

DEI Talks | “Designing New Interfaces for Musical Expression: Opportunities and Challenges” por Marcelo M. Wanderley

A palestra “Designing New Interfaces for Musical Expression: Opportunities and Challenges” será apresentada no dia 4 de junho, às 16:00, na sala B018, e será moderada pelo docente do DEI, Gilberto Bernardes de Almeida.

Resumo:

“Computer music has a compelling history, with initial attempts to perform computer-generated music live dating back several decades. Performing sounds generated by computers presents numerous opportunities and challenges for musical expression. Though virtually any sound can be synthesized and performed arbitrarily without the inherent physical constraints of strings, membranes, and columns of air, this freedom poses unprecedented challenges to instrument designers, composers, musicians, and concertgoers.
In this talk, I will discuss the design and use of several new interfaces developed at the Input Devices and Music Interaction Laboratory at McGill University, ranging from self-contained digital musical instruments and prosthetic interfaces for dance performances to fMRI-compatible electronic instruments used in neuroscience studies. I will highlight the unique context and challenges of each development, showcasing the critical importance of interdisciplinary research in this field. Finally, I will present an overview of the Centre for Interdisciplinary Research in Music Media and Technology (www.cirmmt.org), a leading research centre established 25 years ago, focusing on sound and music, based in Montreal, QC, Canada. CIRMMT’s mandate is to eliminate the barriers between disciplines and research domains by supporting researchers and artists from various backgrounds to interact in ways not possible in traditional academic environments.”

Sobre o Palestrante:

Marcelo M. Wanderley is Professor of Music Technology at McGill University, Canada, where he directs the Centre for Interdisciplinary Research in Music Media and Technology (CIRMMT). His research interests include the design and evaluation of digital musical instruments and the analysis of performer movements. He co-edited the electronic book “Trends in Gestural Control of Music” in 2000, co-authored the textbook “New Digital Musical Instruments: Control and Interaction Beyond the Keyboard” in 2006, and chaired the 2003 International Conference on New Interfaces for Musical Expression (NIME03). He held invited research chairs in several European and American institutions, including Inria Lille, France, the University of Mons, Belgium, and the Federal University of Minas Gerais, Brazil. He is a member of the Computer Music Journal’s Editorial Advisory Board and a senior member of the ACM and the IEEE.

Creativity Talks | “Creativity as a Complex Psychological Dimension” por Manuela Romo

A 16ª sessão das Creativity Talks contará com a presença da ilustre psicóloga e professora Manuela Romo como oradora principal, que apresentará a palestra “A criatividade como dimensão psicológica complexa”, ministrada em espanhol. A sessão será realizada online no dia 22 de maio, às 18:00, com a moderação de Manuel Firmino (DEI).

A criatividade é uma forma de pensar que resulta em coisas que são novas e valiosas” (Romo, 2019).

Esta definição operacional serve como ponto de partida, mas compreender a criatividade vai além dos produtos que ela gera. Discutiremos os processos cognitivos envolvidos nesta forma de pensar, mas produzir resultados criativos requer mais do que apenas processos cognitivos — estes, por si só, explicariam uma contribuição isolada num determinado campo. No entanto, uma pessoa criativa mantém esta dimensão de forma consistente ao longo da sua vida produtiva, o que requer outras dimensões psicológicas relacionadas com a motivação e a personalidade. Os modelos teóricos mais importantes para explicar a criatividade refletem esta natureza complexa. São modelos componentes que integram elementos cognitivos, pessoais-afetivos e socioculturais. Exploraremos esses modelos e forneceremos uma descrição de seus componentes.

A palestra será transmitida aqui.

Manuela Romo é doutora em Psicologia pela Universidade Autónoma de Madrid, onde desenvolveu a sua carreira de docência e investigação. Publicou seis livros, 16 capítulos de livros e mais de 50 artigos. Entre as suas contribuições notáveis para a divulgação e aplicação dos estudos sobre criatividade está o seu livro Psicologia da Criatividade: Perspectivas Contemporâneas (Ed. Paidós, 2019). Também desenvolveu um teste para avaliar a criatividade das crianças: TCI – Teste de Criatividade Infantil (TEA Ediciones, 2008). Ministrou mais de 70 palestras sobre o tema e conduziu cursos e workshops em Espanha, Portugal, Itália, Reino Unido, Estados Unidos, Taiwan e vários países da América Latina. É membro do conselho editorial de várias revistas científicas, incluindo The International Journal of Creativity and Human Development, Frontiers in Psychology – Cognition, Creatividad y Sociedad: Revista da Associação para a Criatividade, Arte, Indivíduo e Sociedade (Universidade Complutense de Madrid), Recrearte: IACAT (Instituto de Estudos Avançados em Criatividade) e RECRIAI (Revista Ibero-Americana de Criatividade e Inovação) no Brasil.

DEI Talks | “Governança de Inteligência Artificial: Erros, Desinformação e Desafios Contemporâneos” por André Lemos e Haline Maia

A palestra intitulada “Governança de Inteligência Artificial: Erros, Desinformação e Desafios Contemporâneos” será apresentada no dia 16 de maio, às 10:30, na sala I-105.

Resumo:

Nesta sessão dupla, os investigadores André Lemos e Haline Maia exploram, a partir de perspectivas críticas e interdisciplinares, alguns dos principais dilemas que emergem da crescente presença da inteligência artificial na vida social, educacional e informacional.

André Lemos foca a sua apresentação nas falhas e perturbações que atravessam os sistemas algorítmicos, discutindo como a IA pode ser não apenas eficiente, mas também precária, incerta e opaca. Através de uma abordagem sociotécnica, analisa os erros da IA como elementos estruturantes da cultura digital contemporânea.

Haline Maia traz à discussão as implicações da IA nos ecossistemas informativos, com ênfase no jornalismo e na desinformação. Partindo de um estudo que combina metodologias participativas e avaliação ética de impacto tecnológico, apresenta reflexões sobre como alinhar tecnologias como deepfakes e fact-checking automatizado com valores humanos fundamentais.

Cada uma das intervenções terá uma duração de 30 minutos, terminando com um espaço de debate com o público. A palestra integra a pesquisa Governança de Inteligência Artificial no Brasil e em Portugal: Cruzamento e Tendências. Apoio CNPQ/MCTI/FNDCT 22/2024.

Sobre os Palestrantes:

André Lemos é Professor Titular da Faculdade de Comunicação da Universidade Federal da Bahia (UFBA) e coordenador do Lab404. Doutor pela Sorbonne, com pós-doutoramentos no Canadá, Irlanda e Brasil, é referência internacional em cibercultura, mediações tecnológicas e estudos sociotécnicos. Autor de mais de 15 livros e vencedor de diversos prémios, atualmente investiga os efeitos dos erros, falhas e instabilidades nos sistemas digitais. É pesquisador nível 1A do CNPq e membro titular da Academia de Ciências da Bahia.

Haline Maia é investigadora afiliada ao INESC TEC e ao CIRCLE (Lund University), além de Professora Associada no IPAM. Doutorada pela FEUP em Media Digitais, atua nas áreas de governança da IA, ética algorítmica e educação. Com 15 anos de experiência em comunicação, tem produção académica indexada e participação ativa em projetos internacionais sobre jornalismo automatizado e estratégias digitais.

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.