All CMUPortugal Programs
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.
My research focuses on sustainability-related optimization problems, such as EV routing with vehicle-to-vehicle charging technology. In parallel, I have a strong interest in alternative forms of computation, such as quantum computing. 🌳🚎⚡⚛️
For those readers who are optimization-inclined, I venture in non-linear integer optimization. Concretely, I work with EV-specific variants of vehicle-routing problems and with power-flow problems.
In my Ph.D. program, I’m developing an energy consumption model for virtualized 5G base stations. This model aims to enable real-time adjustments to base station configurations, to minimize their energy consumption without compromising performance.
I’m a 4th year PhD student in ECE in the CMU-Portugal program between CMU and IST (Lisbon, Portugal), where I’m advised by Justine Sherry at CMU and João Luís Sobrinho at IST. My research interests are in the applications of theoretical computer science to computer networking, namely to problems of traffic engineering and network design.
Born in Brazil, I got a degree in Mechatronics Engineering at the University of Brasília (UnB). However, I enjoyed the Computer Science part more than the others, especially the more mathematical side, so I decided to pursue a Masters’s in Computer Science at UnB. I chose to apply for the CMU/Portugal Ph.D. as the next step in my academic career and was fortunately accepted.
Since my Master’s Thesis, I have been researching program synthesis, the task of constructing a computer program based on a high-level description of what it should do. I will continue to explore this topic on my PhD: through program synthesis, I hope to find ways to help everyone easily and safely use a computer to automate daily tasks.
Latifah graduated from Georgia Tech in 2018 with a Bachelor of Science in Electrical Engineering. She received a Master of Science in Electrical Engineering from KAUST in 2020. In the Photonics Laboratory at KAUST, she studied the electrical characteristics of lower-dimensional materials, including GaN-based nanowires. Currently, she is a dual ECE Ph.D. student at CMU and the University of Aveiro. Latifah is co-advised by Prof. LeDuc from CMU and Dr. Paula Marques and Prof. Pedro Fonseca from the University of Aveiro. Her research focuses on studying and modeling ECM-based neural scaffolds for spinal cord injuries. For her thesis, she is investigating sustainable powering solutions for implanted medical devices.
Manuel Reis Carneiro earned his dual-degree PhD candidate at Carnegie Mellon University and the University of Coimbra, researching soft, sustainable, and printed electronics for healthcare and wearables applications. He has over 15 scientific publications and has received innovation awards from multiple entities, including IBM, Fraunhofer, and Huawei.
I am a PhD candidate in Electrical and Computer Engineering, pursuing a double degree at Carnegie Mellon University (CMU) and Instituto Superior Técnico (IST). I am advised by Yuejie Chi (CMU) and João Xavier (IST), and co-advised by Cláudia Soares (NOVA). Prior to that, I received an MSc in Aerospace Engineering from IST in 2019. My research interests focus on provable optimization methods for efficient distributed machine learning systems. During my PhD, I have been working on efficient vertical federated learning.
