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