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.
I am a data engineer with a solid background in anomaly detection, currently focused on neuroimaging. Before starting my PhD, I spent seven years refining machine learning models to enhance system security through immunity measures, leading an AI research team and contributing to several peer-reviewed publications. My interest in neurolife and psychiatric disorders led me to deepened my knowledge in the field. I’d like to develop diagnostic biomarkers and make reliable predictions of mental illnesses leveraging my expertise in anomaly detection. I had the honor of collaborating with VMware and am passionate for open-source development and Git. The ultimate goal of my doctoral work is to enhance mental health care and reduce treatment costs.
