← Leaderboards
Rajeev Alur
University Of Pennsylvania
$6,944,127
Attributed
$21,470,750
Total exposure
21
Grants
12
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–23$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
'23
Funding mix
By agency
NSF$21,470,750 · 21
By mechanism
—$21,470,750 · 21
Top collaborators
- George Pappas7 shared
- Insup Lee5 shared
- Mayur Naik3 shared
- Boon Thau Loo2 shared
- Eric Wong2 shared
- Milo Martin2 shared
- Stephan A Zdancewic2 shared
- Alejandro R Ribeiro1 shared
Grant awards (21)
SLES: SPECSRL: Specification-guided Perception-enabled Conformal Safe Reinforcement Learning$1,550,000
· FY2023 · CSE · contact PI
SHF: Medium: Scallop: A Neurosymbolic Programming Framework for Combining Logic with Deep Learning$1,220,000
· FY2023 · CSE
FMitF: Track I: Automatic Migration to Serverless Infrastructure, Correctly and Efficiently$750,000
· FY2021 · CSE
Collaborative Research: SHF: Medium: Synthesis of Logic Programs for Democratizing Program Analysis$679,999
· FY2021 · CSE
CCF: Medium: Enabling Real-Time Quantitative Decision Making over Streaming Data$1,200,000
· FY2018 · CSE · contact PI
SHF: Medium: Collaborative Research: Formal Analysis and Synthesis of Multiagent Systems with Incentives$400,000
· FY2017 · CSE · contact PI
Collaborative Research: Expeditions in Computer Augmented Program Engineering (ExCAPE): Harnessing Synthesis for Software Design$3,750,000
· FY2012 · CSE · contact PI
CPS: Large: Assuring the Safety, Security and Reliability of Medical Device Cyber Physical Systems$4,950,003
· FY2010 · CSE
CPS: Medium: Quantitative Analysis and Design of Control Networks$1,509,319
· FY2009 · CSE
SHF: Medium: Formal Analysis of Concurrent Software on Relaxed Memory Models$1,200,000
· FY2009 · CSE · contact PI
SHF: AF: SMALL: Scalable Symbolic Analysis of Hybrid Systems$376,430
· FY2009 · CSE · contact PI
Behavioral Interfaces for Software Components$300,000
· FY2006 · CSE · contact PI
CT-T: Resource-Guided Implementation of Secure Embedded Software$1,000,000
· FY2005 · CSE
Collaborative Research: CSR-EHS: A Hierarchy of Models for Embedded Software$300,000
· FY2005 · CSE
Synthesis of Embedded Software from Hybrid Models$399,999
· FY2004 · CSE · contact PI
Proposal for Hybrid Systems Workshop; March 25-28, 2004, Philadelphia, PA$20,000
· FY2004 · CSE · contact PI
GAMES FOR FORMAL DESIGN AND VERIFICATION OF REACTIVE SYSTEMS$270,000
· FY2003 · CSE · contact PI
WORKSHOP ON EMBEDDED SOFTWARE$15,000
· FY2003 · CSE · contact PI
Biological Information Technology Systems - BITS: Modeling and Analysis of Biological and Information Networks$300,000
· FY2002 · CSE
Third Party Programmability for Embedded Systems$180,000
· FY2002 · CSE
ITR/SY: Formal Design and Analysis of Hybrid Systems$1,100,000
· FY2001 · CSE · contact PI