André Costa
As I am a fan of extremely high performance, I enjoy looking at problems such as lock-free data structures, software transactional memory, memory allocation, memory reclamation, garbage collection, and performance-related operating systems problems. During my Msc’s thesis, I built a lock-free Memcached, reaching up to 6x speedup.
Rafael Gonçalves
I’m an incoming Computer Science PhD student at CMU and Instituto Superior Técnico (IST), co-advised by José Fragoso Santos, Limin Jia and Pedro Adão. I received my BSc (2021) and MSc (2023) in Computer Science and Engineering from IST. My research interests lie primarily in the areas of software security and formal methods.
Álvaro Silva
Álvaro Silva, a Ph.D. candidate at FEUP in Portugal, aspires to research the interconnection between Formal Verification and generative AI applications. Previously, Álvaro was an ASIC Digital Design Staff Engineer at Synopsys, where he performed functional and formal digital IP verification for automotive-grade products. In this role, Álvaro gained an appreciation for software verification and the challenges it presents. He holds an integrated Master’s degree in Electrical and Computer Engineering from FEUP, where he graduated with a GPA of 19/20. Recognized for his academic excellence, Álvaro was awarded two merit scholarships.
Francisco Guedes
I completed a Bologna Degree in Information Systems and Computer Engineering at Instituto Superior Técnico (2017-2020) followed by a Bologna Master Degree in Computer Science and Engineering where I specialized in Artificial Intelligence and Engineering & Data Science (2020-2023). I worked at Caixa Geral de Depósitos as an AI Engineer (2023-2024).
João Afonso Vilalonga
Afonso Vilalonga holds a BSc and an MSc in Computer Science Engineering from the School of Science and Technology at NOVA University of Lisbon, obtained in July 2020 and December 2022, respectively. His main research areas of interest are network security and privacy, privacy-preserving machine learning and communications, cloud and IoT security, and Internet censorship circumvention.
Ziqi Huang
Ziqi Huang is a PhD student in Computer Science and Engineering with a diverse research background spanning image super-resolution, facial recognition, audio signal analysis, and wireless signal processing. Currently, Ziqi’s research focuses on river soundscapes, leveraging advanced computational methods to analyze and classify bioacoustic signals. Through this work, Ziqi aims to contribute not only to the field of biology but also to raise public awareness about the importance of ecological preservation and the rich complexity of aquatic ecosystems.
Sofia Ferraz
I have a bachelor’s and a master’s degree in Biomedical Engineering, and I am currently pursuing a Ph.D. in Biomedical Engineering at the University of Porto. My research focuses on developing AI-driven solutions for cardiac assessment using POCUS, integrating deep learning to improve diagnostic accessibility.
I collaborate with INESC TEC, supervised by Prof. João Pedrosa and Prof. Miguel Coimbra, and work with Prof. Vijayakumar Bhagavatula at Carnegie Mellon University under the CMU Portugal Program, combining engineering and medicine through innovative computational methods.
Francisco Braga
Francisco Braga is a PhD student at NOVA School of Science and Technology, working on Computer Music. Francisco obtained my Integrated Master’s degree in Electrical and Computer Engineering from Instituto Superior Técnico where he first got interested in these fields. He intends to focus on the use of emotion and structure in AI musical composition.
