Rahul Manghram UPenn Mangharam
Rahul Mangharam    |    Current Members    |    Former Members

 

 

Rahul Mangharam is the Stephen J. Angelo Term Chair Assistant Professor in the Department of Electrical and Systems Engineering at the University of Pennsylvania. He also holds a secondary appointment in the Department of Computer and Information Sciences and is a founding member of the PRECISE Center. He directs the mLAB- Real-Time and Embedded Systems Lab at Penn. His interests are in real-time scheduling algorithms for networked embedded systems with applications in energy-efficient buildings, automotive systems, medical devices and industrial wireless control networks.

He and his group has won several awards in IPSN 2012, RTAS 2102, BuildSys 2012, World Embedded Programming Competition 2012 and 2010, Honeywell Industrial Wireless Award 2011, Google Zeitgeist Award 2011, Intel Innovators Award 2012, Intel Early Faculty Honor 2012, NSF CAREER Award 2013, NAE US Frontiers of Engineering 2012, Cornell Embedded Systems Cup 2012 and 2013, Accenture Innovation Jockeys 2012.

He received his Ph.D. in Electrical & Computer Engineering from Carnegie Mellon University (Advisor: Raj Rajkumar) 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).

Curriculum Vitae (cv)


Research Interests

Real-Time systems, embedded network control systems, green buildings, medical devices, model-based design, formal analysis and verification, automotive systems, wireless control/actuator networks, real-time GPGPU programming, cyber-physical systems.

Education

Carnegie Mellon University, Pittsburgh, PA
Ph.D, Electrical and Computer Engineering, March 2008
Thesis : Real-Time Embedded Wireless Networks: Algorithms and Experiences
Advisor : Prof. Ragunathan (Raj) Rajkumar

Carnegie Mellon University, Pittsburgh, PA
M.S., Electrical and Computer Engineering, August 2002
Thesis : Size Matters: Size-based Scheduling for MPEG-4 over Wireless Channels
Advisor: Prof. Ragunathan (Raj) Rajkumar

Carnegie Mellon University, Pittsburgh, PA
B.S., Electrical and Computer Engineering, May 2000

Honors and Awards

    • NSF CAREER Award for Foundations of Medical Cyber-Physical Systems, February 2013
    • Intel Early-Faculty Career Honor, November 2012
    • National Academy of Engineers, US Frontiers of Engineering, September 2012
    • Best Student Paper Award, IEEE RTAS 2012, Beijing, China
    • Best Presentation Award, ACM IPSN 2012, Beijing, China
    • Best Paper Award Nominee, TACAS 2012. Tallinn, Estonia.
    • BuildSys Best Demonstration Award 2012, Toronto, Canada
    • 1st Prize in Honeywell User Group OneWireless Competition, June 2011
    • Provost's Distinguished International Research Award, January 2010
    • Stephen J. Angello Term Chair in Electrical & Systems Engineering, Fall 2008
    • Best Paper Award, IEEE Conference on Sensor and Ah hoc Communications and Networks (SECON), 2006.
    • Sixth Annual Lockheed Martin Project Award, 2006
    • Eta Kappa Nu Research Award, 2006

Honors and Awards (with undergraduate and MS students)

    • Intel/Cornell Embedded Systems Cup – Distinguished Project Award, May 2013
    • 1st and 3rd Prizes in World Embedded Systems Programming Contest, Seoul, Korea, Nov 2012
    • 1st Prize Winner of School Engineering and Applied Sciences Senior Design Project, May 2012
    • Intel Innovators $50K Award, 2012
    • IEEE President's Award Fianlist, May 2012
    • Honorable Harold Berger Award for Best ESE Senior Design Project, May 2012
    • Intel/Cornell Embedded Systems Cup – People's Choice Award, May 2012
    • Intel/Cornell Embedded Systems Cup – Project Award, May 2012
    • Grand Finale Winner, Accenture Innovation Jockeys (Powered by Yahoo!), 2012
    • 1st Prize in Health 2.0 Conference for Haptic Belt for the blind, August 2012
    • Frederick Ketterer Memorial Award for Best Senior Design Project, May 2011
    • Winner of 1st Prize Senior Design Award, CIS Department, May 2011
    • Google Zeitgeist Young Minds Award, 2011
    • Grand Prize Winner in 8th World Embedded Programming Competition,Seoul, Korea, 2010
    • Honorable Harold Berger Award for Best ESE Senior Design Project, 2009

Funding

My work has been supported by grants from the NSF, Department of Energy, Department of Transportation, DARPA and industry. Grants include:

  • NSF CAREER: Foundations for Modeling and Verification of Medical Cyber-Physical Systems
  • US DoT: CMU-Penn Tier-1 University Transportation Center ($7 Million Center)
  • US DoE: Energy-Efficient Building HUB ($160 Million Center)
  • NSF MRI Development: Heterogeneous, Autonomic Wireless Control Networks for Scalable Cyber-Physical Systems
  • NSF CPS Large: Assuring the Safety, Security and Reliability of Medical Device Cyber Physical Systems
  • DARPA HACMS: Security of Networked Controlled Systems
  • NSF CPS: Medium: Quantitative Analysis and Design of Control Networks
  • Honeywell: Distributed Wireless Controller Grids
  • L3 Communications/Engility: ZipCare Wearable Heart Monitoring Patch

  • Selected Talks

    Closing the loop with Medical Cyber-Physical Systems
    UC Berkeley. Design of Robotics and Embedded systems, Analysis, and Modeling Seminar, Oct 2012
    Invited Speaker, Workshop on Formal Methods for Synthetic Biology, co-located with the 24th International Conference on Computer Aided Verification (CAV 2012). July 2012
    Invited Speaker, 15th Conference on Software Design for Medical Devices, May 2012


    The Car and The Cloud: Automotive Architectures for 20/20
    National Academy of Engineers, US Frontiers of Engineering, GM R&D Center, Michigan. Sept 2012
    Invited Speaker, DoT University Transportaiton Center, Carnegie Mellon, May 2013


    Physiological Control Systems for Networks of Medical Devices
    Invited Speaker, 5th annual workshop on "Numerical Software Verification" (NSV), co-located with the 24th International Conference on Computer Aided Verification (CAV). July 2012


    Robust Architectures for Wireless Actuation and Control
    BOSCH Palo Alto Lab, California, July 2012
    Honeywell Technical Fellows Seminar, Oct 2010
    Invited Speaker, Honeywell Technology Symposium, 2009
    Indian Institute of Technology Madras (IIT-M), Chennai, March 2009


    Integrated Functional and Formal Modeling for Safety-Critical Medical Devices
    University of Oxford, UK. Formal Methods Seminar, June 2012
    University of California, Irvine, ECE Departmental Seminar, April 2011
    US Food and Drug Administration (FDA), Nov 2010


    Cyber-Physical Systems 2.0 – Automotive, Medical, Energy and Industrial Automation
    Drexel University, Robotics Seminar Series, Feb 2013
    Invited Speaker, NIST Performance Metrics for Intelligent Systems, March 2012
    Wayne State University, Michigan, CS Departmental Seminar, Sept 2011
    University of Pittsburgh, ECE Departmental Seminar, Nov 2010
    Cornell University, ECE Departmental Seminar, Oct 2010
    UT Austin, ECE Seminar, October 2010
    IMEC, Leuven, Belgium, July 2010
    Embedded Systems Institute, Eindhoven, Netherlands, July 2010


    Automotive Cyber-Physical Systems – In vehicle, Vehicle-to-vehicle and Traffic Management
    Toyota Information Technology Center (ITC), Mountain View, California, July 2012
    Invited Speaker, Connected Vehicles Workshop (DoT UTRC), Buffalo, NY June 2012
    University of Southern California, ECE Departmental Seminar, April 2011
    University of Waterloo, Canada. June 2009
    WINLAB Seminar, Rutgers University, Nov 2008
    University of Delaware, Electrical Engineering Seminar, Oct 2008
    Keynote Speaker, Conf. on Wireless Access in Vehicular Environments, U Michigan, Dec 2008


    Cyber-Physical Systems and The Cloud
    CISCO Systems, Sunnyvale, California, July 2012
    Texas Instruments and Kilby Labs, Dallas, TX, May 2012


    Anytime Algorithms for GPGPU Computing
    IEEE Real-Time Systems Symposium. Dec 2011


    Medical Cyber-Physical Systems: Closed-loop Medical Device Verification and Testing
    FDA / NHLBI / NSF Workshop on Computer Methods for Medical Devices, Speaker and Panelist, Sept 2011
    Invited Speaker, Texas Instruments and Kilby Labs, Dallas, TX, May 2012


    Closing the Loop with Cyber-Physical Modeling
    Vanderbilt University, Institute for Software Integrated Systems Seminar, Oct 2011
    University of California, Irvine, ECE Departmental Seminar. April 2011
    Virginia Tech, Center for Embedded Systems for Critical Applications, Nov 2010
    University of Pittsburgh, ECE Departmental Seminar, Nov 2010
    Temple University, ECE Departmental Seminar, Oct 2010


    Closing the Loop with Wireless Control Networks
    NSF EU-US Workshop on Networked Monitoring and Control, EU Commission, Brussels. June 2011
    Siemens Corporate Research, Princeton, NJ. May 2012
    UCLA, Center for Embedded Networked Sensing, Dec 2010
    Cornell University, ECE Departmental Seminar, Oct 2010
    Indian Institute of Technology Bombay (IIT-B), Mumbai, March 2009


    Medical Cyber-Physical Systems: New Frontiers
    UIUC, Distinguished Lecture. March 2011


    Generic Pacemaker Project: Closed-loop Software Testing, Validation and Verification
    US. Food and Drug Administration (FDA). Nov 2010


    Rahul Manghram