← Leaderboards
Osbert Bastani
University Of Pennsylvania
$2,167,512
Attributed
$3,330,012
Total exposure
4
Grants
3
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 $1.6M · FY2019–24$2M$1.5M$1M$500K$0
'19
'20
'21
'22
'23
'24
Funding mix
By agency
NSF$3,330,012 · 4
By mechanism
—$3,330,012 · 4
Top collaborators
- Dinesh Jayaraman1 shared
- Eric Wong1 shared
- Rajeev Alur1 shared
Grant awards (4)
CAREER: Formal Guarantees for Neurosymbolic Programs via Conformal Prediction$472,357
· FY2024 · CSE · contact PI
SLES: SPECSRL: Specification-guided Perception-enabled Conformal Safe Reinforcement Learning$1,550,000
· FY2023 · CSE
Expeditions: Collaborative Research: Understanding the World Through Code$807,655
· FY2020 · CSE · contact PI
SHF: Small: Inferring Specifications for Blackbox Code$500,000
· FY2019 · CSE · contact PI