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.
Catarina Gamboa
Catarina Gamboa is a dual-degree Ph.D. student at CMU and FCUL, specializing in programming languages and usable software verification. She develops innovative, developer-friendly tools like LiquidJava and has presented her work at leading conferences like ICSE. Catarina is also actively involved in organizing academic and cultural events.