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.
My research focuses on helping programmers and non-programmes on their daily tasks, by leveraging Program Synthesis and Program Repair techniques. Some of my other research interests include Formal Methods and Compilers.
I’m a Systems Researcher at INESC-ID with both a BSc and a MSc in Computer Science and Engineering from Instituto Superior Técnico, University of Lisbon. During my MSc thesis we developed a tool that automatically parallelized software network functions, which piqued an interest in me and led me to do research in the networking field.
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.
Since my Master’s Thesis, I have been researching program synthesis, the task of constructing a computer program based on a high-level description of what it should do. I will continue to explore this topic on my PhD: through program synthesis, I hope to find ways to help everyone easily and safely use a computer to automate daily tasks.
I graduated in Instituto Superior Técnico, where I have joined the local Capture-The-Flag (CTF) team called STT. Ever since, I have participated in many security competitions and have been dedicated to the field of computer security, first focused on cryptography and now on web analysis.
