All CMUPortugal Programs
I got my BSc in Electronics Engineering and my MSc in Electrical and Computer Engineering, both at IST, this last one focused on micro and nano-electronics design. The objective for my Ph.D. under the CMU Portugal Program is to develop and improve power harvesting and data transmission techniques for integrated circuits applied to bioengineering.
Carolina Carreira, a Ph.D. candidate at Carnegie Mellon University and IST, focuses on usable security. Her research interests include the usability of formal methods, the human aspects of software engineering, and privacy. Additionally, she actively contributes to the community by organizing seminars and actively participating in the SIGPLAN-M.
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.
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.
