I hold a MSc degree in Computer Science and Engineering from IST, focused in Artificial Intelligence. During my MSc thesis I’ve worked on Neural Information Retrieval, applied to the Geographic domain and I will pursue my Ph.D. focusing on Neural Information Retrieval.
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.
I am a PhD student working under the supervision of Alcides Fonseca, Sara Silva, and Christopher S. Timperley. My research focuses on developing program analysis techniques to detect errors in software systems. Previously, I worked on evolutionary program synthesis using refinement types, and I am currently closely researching the application of software engineering techniques to the robotics field (Software Engineering for Robotics).
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 specializations. His research topics are related to SE and AI, specially using DL techniques to solve real-life problems.
I am a doctoral student in the CMU-Portugal dual-degree PhD program in Software Engineering at Carnegie Mellon University (CMU) and Computer Science and Engineering at Instituto Superior Técnico (IST) – Universidade de Lisboa.
I am being kindly advised by Prof. Paolo Romano at IST and Prof. David Garlan at CMU. I am currently working as a graduate research assistant at Software and Societal Systems Department (S3D) where I integrate the ABLE Group, and as a researcher at IST and in the Distributed, Parallel and Secure Systems (DPSS) Group at INESC-ID Lisboa.
Gabriel is a Ph.D. student at Instituto Superior Técnico and at the Language Technologies Institute, Carnegie Mellon University. He received a double M.Sc. in Aerospace Engineering from ISAE-Supaero and IST and worked as a research intern at Airbus. His research interest lies at the intersection of computer vision and NLP.
I am an HCI Researcher at INESC-ID with an MSc. Degree in Aerospace Engineering from IST. Highly motivated by technological challenges, I designed an approach for remote virtual collaboration during my master thesis. During my exchange program in India, I have enriched my adaptability to new environments and developed great intercultural sensitivity.
Through my education in computer engineering, interaction design, media studies and architecture, I learned to recognize the need for interdisciplinary approaches to designing interactions with (and within) the built environment. My professional experience as an interaction designer in India and Germany, and as a research assistant in the U.S. (Buffalo), Canada and Portugal enable me to connect academic research to professional practice.
