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.
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.
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.
