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.
Afonso Amaral leads international alliances research at the Critical Technology Initiative at Carnegie Mellon University, focusing on technology and manufacturing policy and regulation. His research specializes in advanced manufactured products, trade, innovation, and industrial mobilization strategies to address product shortages and crises. He co-develops an early warning mechanism for monitoring supply chain disruptions with the Chief Economist team at the European Commission’s DG GROW.
