← Leaderboards
Insup Lee
University Of Pennsylvania
$5,437,892
Attributed
$19,243,327
Total exposure
26
Grants
15
Lead (contact PI)
Attributed= this PI's even-split share of every grant they're on (the fair, additive number). Exposure = full size of all those grants.
Funding over time
peak $5M · FY2005–22$5M$3.8M$2.5M$1.3M$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
Funding mix
By agency
NSF$19,243,327 · 26
By mechanism
—$19,243,327 · 26
Top collaborators
- Oleg Sokolsky12 shared
- George Pappas7 shared
- Rajeev Alur5 shared
- Clarence W Hanson2 shared
- James Weimer2 shared
- Linh Thi Xuan Phan2 shared
- Alejandro R Ribeiro1 shared
- Andreas Haeberlen1 shared
Grant awards (26)
Collaborative Research: CPS: Medium: Sensor Attack Detection and Recovery in Cyber-Physical Systems$691,957
· FY2022 · CSE · contact PI
SCC-IRG JST: Active sensing and personalized interventions for pandemic-induced social isolation$919,900
· FY2021 · CSE · contact PI
SCH: INT: Collaborative Research: Smart Alarms 2.0: Foundations for Caregiver-in-the-loop Suppression of Non-Informative Alarms$980,000
· FY2019 · CSE · contact PI
Synergy: Collaborative: Security and Privacy-Aware Cyber-Physical Systems$1,125,000
· FY2015 · CSE · contact PI
CPS: Synergy: Collaborative Research: Safety-Feature Modeling and Adaptive Resource Management for Mixed-Criticality Cyber-Physical Systems$600,000
· FY2013 · CSE
Collaborative Research: An Expedition in Computing for Compiling Printable Programmable Machines$3,436,000
· FY2012 · CSE
SHB: Type I (EXP): Collaborative Research: Heterogeneous Large-Scale Telemedicine for Cardiology Patients$300,000
· FY2012 · CSE
CPS: Synergy: Collaborative Research: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms$120,000
· FY2012 · CSE · contact PI
CSR: Small: Resource Management for Real-time Cloud Computing$449,999
· FY2011 · CSE
CPS: Large: Assuring the Safety, Security and Reliability of Medical Device Cyber Physical Systems$4,950,003
· FY2010 · CSE · contact PI
Assurance Cases for a Physiologically Closed-Loop PCA Systems$25,000
· FY2010 · CSE · contact PI
CPS: Medium: Quantitative Analysis and Design of Control Networks$1,509,319
· FY2009 · CSE
CPS:Medium:Collaborative Research: Infrastructure and Technology Innovations for Medical Device Coordination$675,000
· FY2009 · CSE · contact PI
CSR--EHS: Robust Testing by Testing Robustness of Embedded Systems$500,000
· FY2007 · CSE
NeTS/NOSS: ASPEN: Abstraction-based Sensor Programming Environment$450,000
· FY2007 · CSE
CSR--CPS: Component-based Development of Cyber-Physical Systems$245,000
· FY2007 · CSE · contact PI
CT-ISG: Collaborative Research: Massive Dataset Algorithmics for Network Security$80,000
· FY2007 · CSE · contact PI
Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and Play Interoperability$49,900
· FY2007 · CSE
Applying Formal Methods to Improve the Quality of Software in Medical Devices$30,000
· FY2006 · CSE · contact PI
CSR-EHS: Techniques for Assuring the Safety and Reliability of Physical Computing Systems and Applications to Medical Devices$780,000
· FY2005 · CSE · contact PI
Collaborative Research: CSR-EHS: A Hierarchy of Models for Embedded Software$300,000
· FY2005 · CSE · contact PI
High Confidence Medical Device Software and Systems Workshop (HCMDSS) 2005; Philadelphia, PA$49,000
· FY2005 · CSE
Synthesis of Embedded Software from Hybrid Models$399,999
· FY2004 · CSE
Extracting Traceable Formal Models from Natural Language Policy Documents$240,000
· FY2004 · CSE · contact PI
WORKSHOP ON EMBEDDED SOFTWARE$15,000
· FY2003 · CSE
An Integrated Approach to Improving Design-Time and Run-Time Confidence$322,250
· FY2000 · CSE · contact PI