Dual Degree PhD student at Instituto Superior Técnico and Carnegie Mellon University in Computer Science and Artificial Intelligence. My research focuses on using AI and LLMs to automate and accelerate scientific discovery. Prior to my PhD, I worked in quantum communication and software engineering, and completed an integrated Master’s degree in Electronic and Telecommunications Engineering.
João Matos is a Dual Degree PhD student in the CMU Portugal Program. He holds a Master’s from IST Lisbon, with specializations in Security and Algorithms. He was a visiting student at AGH University of Kraków and Université Grenoble Alpes, and has served as a teaching assistant at IST since 2024, teaching lab classes of Computer Science courses.
I’m passionate about both sports and ideas, whether it’s playing tennis or watching anime with friends, diving into cybersecurity challenges, or exploring big philosophical questions. I find energy in sports, curiosity, and good company. I’ve always dreamed of going to America, inspired by the movies I grew up with.
After doing my Masters in 2021 I’ve worked in the Embedded Systems field for 4 years. With this new experience I’ve decided exploring new ideas and furthering science is the kind of work I would like to be doing.
I am a PhD student at Faculdade de Ciências da Universidade do Porto. My interests include program behaviour and resource management. I hold a Bachelor’s and a Master’s in Computer Science, having worked with linear type systems in my dissertation. I am now exploring a broader approach through the use of intersection types and their expressive power.
Hugo Pereira completed his MSc in Computer Science and Engineering at the School of Science and Technology of NOVA University of Lisbon in November 2024, following his BSc from the same institution in July 2022. His research interests focus on network security, privacy-enhancing technologies, and trusted decentralized systems.
I hold a B.Sc. and an M.Sc. in Computer Science and Engineering from Faculdade de Ciências da Universidade de Lisboa and Instituto Superior Técnico, respectively. My research sits at the intersection of Computer Graphics and Machine Learning, with a focus on developing optimized solutions for realistic and highly performant physics-based simulations.
I am interested in programming languages as tools for effective communication with computers. In my PhD I want to explore the design of type systems for programming languages that are expressive and efficient by using substructural logics to capture parts of program behaviour such as resource management or evaluation order.
Lara Sá Neves is a Biomedical and Data Science Engineer passionate about transparent, adaptive AI. She’s an incoming CS PhD student, and her goals are to advance trustworthy machine learning and build impactful healthcare solutions through research and innovation.
