UPenn Engineering
Department of Electrical & Systems Engineering
School of Engineering and Applied Science
University of Pennsylvania
Rahul Mangharam
Home Research Teaching Group News Publications Awards and News outreach Contact

2020 Research Statement [PDF]

2020 Teaching Statement [PDF]

2020 Personal Statement [PDF]

Curriculum Vitae [PDF]

Rahul Mangharam is an Associate Professor in the Department of Electrical and Systems Engineering at the University of Pennsylvania. He is a founding member of the PRECISE Center and directs the Safe Autonomous Systems Lab at Penn. His research is at the intersection of formal methods, machine learning and controls for medical devices, energy efficient buildings, & autonomous systems.

Rahul received the 2016 US Presidential Early Career Award (PECASE), the 2014 IEEE Benjamin Franklin Key Award, 2013 NSF CAREER Award, 2012 Intel Early Faculty Career Award and was selected by the National Academy of Engineering for the 2012 and 2018 US Frontiers of Engineering.

Rahul's group has won several awards: 2018 IEEE International Conference on Cyber-Physical Systems Best Paper Award, 2017 American Controls Conference Best Paper Award for Energy Systems, 2016 DoE CleanTech Prize (Regional), SRC TECHCON 2015, IPSN 2012, RTAS 2102, Intel Innovators Award 2012, World Embedded Programming Competition 2012 and 2010, Honeywell Industrial Wireless Award 2011, and Google Zeitgeist Award 2011.

Rahul received his Ph.D. in Electrical & Computer Engineering from Carnegie Mellon University where he also received his MS and BS. In 2002, he was a member of technical staff in the Ultra-Wide Band Wireless Group at Intel Labs. He was an international scholar in the Wireless Systems Group at IMEC, Belgium in 2003. He has worked on ASIC chip design at FORE Systems (1999) and Gigabit Ethernet at Apple Computer Inc. (2000). He was the Stephen J. Angelo Term Chair Assistant Professor at the University of Pennsylvania from 2008-2013. He holds a secondary appointment in the Department of Computer and Information Sciences.

March 2020:F1/10 Autonomous Racing wins 2nd Best Paper Award at ACM SIGCSE for New Curriculum Development

January 2020: Keynote speaker at IEEE COMSNETS more

January 2020: New course on F1/10 Autonomous Racing was a success in Fall 2019. We will offer it again in Spring 2020 more

December 2019: NeurIPS Best Demo Award Winner (runner-up) for F1/10 Learning for Vision-based Navigation in Vancouver

October 2019: Computer-Aided Clinical Trials presented at Internet of Medical Things more

October 2019: Hosted NSF Frontiers CyberCardia Medical CPS Workshop at ESweek in NYC more

October 2019: The 5th F1/10 Autonomous Racing Grand Prix was a success at Embedded Systems Week. Watch the video highlights more

September 2019: $1.5MM NSF grant awarded for Community Platforms for Safe, Agile, and Coordinated Autonomy. more

August 2019: Our Autonomous Air Traffic Controller (Fly-by-Logic) is discussed in the Philadelphia Inquirer. more

July 2019: Congratulations to Dr. Yash Vardhan Pant on defending his thesis on Safe Planning and Control of Autonomous Systems: Robust Predictive Algorithms. more

June 2019: Check out our Adventures in Medical CPS blog more

May 2019: Check out our Adventures in Autonomous Vehicles blog more

April 2019: The 4th F1/10 Autonomous Racing Grand Prix was a success at CPSweek. more

March 2019: mLAB has 3 papers on Medical CPS and Safe Autonomous Systems at CPSweek more.


[ All News ]


Teaching Autonomous Systems at 1/10th-scale: A project-based course and community. A. Agnihotri, M. O'Kelly, H. Abbas and R. Mangharam. ACM Special Interest Group on Computer Science Education (SIGCSE). February 2020.

Anytime Computation and Control for Autonomous Systems. Y. V. Pant, H. Abbas, K. Mohta, R. A. Quaye, T. X. Nghiem, J. Devietti, R. Mangharam. IEEE Transactions on Control Systems Technology. February 2020

Electroanatomic Mapping to Determine Scar Regions in Patients with Atrial Fibrillation. J. He, K. Jang, K. Walsh, J. Liang, S. Dixit, and R. Mangharam. 41st Intl. Engineering in Medicine and Biology Conference (EMBC). July 2019

Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning using Temporal Logic. Y. V. Pant, R. A. Quaye, H. Abbas, A. Varre and R. Mangharam. 11th Annual NASA Formal Methods Symposium (NFM). May 2019

Robustness Evaluation of Computer-aided Clinical Trials for Medical Devices. K. J. Jang, Y. V. Pant, B. Zhang, J. Weimer and R. Mangharam. IEEE International Conference on Cyber-Physical Systems (ICCPS/CPSWeek). April 2019

Temporal Logic Robustness for General Signal Classes. H. Abbas, Y. V. Pant and R. Mangharam. ACM International Conference on Hybrid Systems: Computation and Control (HSCC/CPSWeek). April 2019

Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices. CyberCardia Team. IEEE International Conference on Cyber-Physical Systems (ICCPS/CPSWeek). April 2019

Data-driven Model Predictive Control using Random Forests for Building Energy Optimization and Climate Control . F. SMarra, A. Jain, T. de Rubeies, D. Ambrosini, A. D'Innocenzo and R. Mangharam. Applied Energy. September 2018

Real-Time Decision Policies with Predictable Performance. H. Abbas, R. Alur, K. Mamouras, A. Rodionova and R. Mangharam. Proceedings of IEEE. September 2018

Data-driven Switched Affine Modeling for Model Pridictive Control. F. Smarra, A. Jain, R. Mangharam and A. D'Innocenzo. IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) July 2018

Computer-aided Clinical Trials for Implantable Cardiac Devices. K. J. Jang, J. Weimer, H. Abbas, Z. Jiang, J. Liang, S. Dixit and R. Mangharam. IEEE Engineering in Medicine and Biology Society Conference (EMBC). July 2018

Generalized Robust MTL Semantics for Problems in Cardiac Electrophysiology. H. Abbas and R. Mangharam. American Controls Conference (ACC). June 2018

A novel programming language to reduce energy consumption by arrhythmia monitorin algorithms in ICDs . H. Abbas, K. Mamouras, A. Rodionova, R. Alur, J. Liang, S. Dixit and R. Mangharam. 39th Heart Rhythm Scientific Sessions. May 2018

Learning and Control using Gaussian Processes. A. Jain, T. X. Nghiem, M. Morari and R. Mangharam. IEEE International Conference on Cyber-Physical Systems (ICCPS/CPSWeek). April 2018 Best Paper Award!

Fly-by-Logic: Control of Multi-Drone Fleets with Temporal Logic Operatives. Y. V. Pant, H. Abbas, R. A. Quaye and R. Mangharam. IEEE International Conference on Cyber-Physical Systems (ICCPS/CPSWeek). April 2018


[ All Publications ]