Á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.
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).
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 holds a BA in Economics and Management from Wuyi University, China, and an MSc in Computer Science and Software Engineering from Shenzhen University, China. She is deeply passionate about sensing technologies and their role in environmental conservation.
Doctoral Researcher at INESC TEC, specializing in developing computer assisted cardiac assessment solutions for Point-of-care Ultrasound . Adept at deep learning and machine learning techniques. Committed to advancing healthcare through technology.
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.
Alessandro Gambetti is a PhD Student of Human-Computer Interaction at the Nova School of Science and Technology in the scope of the CMU Portugal Program, Lisbon, Portugal. He received an MSc in Finance from Nova SBE, majoring in Data and Business Analytics, and he holds a BSc in Economics & Finance from the Alma Mater Università di Bologna, Bologna, Italy. His research interests span from applied data science and machine learning in human-computer interaction, information systems, as well as healthcare.
Afonso Lourenço has earned B.Sc. and M.Sc. degrees in Industrial Engineering and Management from FEUP. His research interests primarily focus on data stream mining, a field dedicated to extracting valuable insights from data that is continuously in flux.
I am a PhD Student in Computer Science and Engineering at Instituto Superior Técnico (Técnico), where I am very fortunate to be advised by Prof. José Fragoso Santos and Prof. Nuno Santos. I am also a junior researcher at INESC-ID, working on applying software verification and testing tools to support computer science students in their learning process. My research interests are mainly in programming languages, software verification and validation, formal methods, and cybersecurity. Previously, I completed my MSc in Computer Science and Engineering at Tecnico. My dissertation, entitled Robust Symbolic Execution for WebAssembly, was supervised by Prof. José Fragoso Santos and Prof. Nuno Santos and was defended on December 2022.
