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.
I am a PhD student in the Computer Science department at NOVA Lisbon in Portugal. My research focuses on AI models for environmental applications, utilizing satellite images and in-situ data. My passion lies in applying cutting-edge AI technology to develop innovative solutions for addressing and solving critical environmental challenges.
Á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.
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.
Born in Brazil, I got a degree in Mechatronics Engineering at the University of Brasília (UnB). However, I enjoyed the Computer Science part more than the others, especially the more mathematical side, so I decided to pursue a Masters’s in Computer Science at UnB. I chose to apply for the CMU/Portugal Ph.D. as the next step in my academic career and was fortunately accepted.
