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.
LuÃs Gomes
LuÃs Gomes is a Software Engineer, whose career is marked by impactful projects, both in academic and industrial contexts. LuÃs’ Master’s degree in CS was carried out at Univ. of Minho, with Intelligent Systems and Data Science specialisations. His research topics are related to SE and AI, specially using DL techniques to solve real-life problems.