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.
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.
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.
Alessandro Gambetti
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
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.
Luiz Sá
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.
