← Leaderboards
Isil Dillig
University Of Texas At Austin
$6,446,458
Attributed
$9,599,624
Total exposure
14
Grants
10
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.8M · FY2015–24$2M$1.5M$1M$500K$0
'15
'16
'17
'18
'19
'20
'21
'22
'23
'24
Funding mix
By agency
NSF$9,599,624 · 14
By mechanism
—$9,599,624 · 14
Top collaborators
- Gregory C Durrett2 shared
- Constantine Caramanis1 shared
- Joydeep Biswas1 shared
- Kenneth Mcmillan1 shared
- Ruben Goncalves Martins1 shared
- Scott Fish1 shared
- Swarat Chaudhuri1 shared
- Ufuk Topcu1 shared
Grant awards (14)
SHF: Medium: Neurosymbolic Agents for Formal Theorem-Proving$902,673
· FY2024 · CSE
FMitF: Track I: Performance Verification for Networked Systems$875,000
· FY2024 · CSE
FMitF: Track I: Program Synthesis for Robot Learning from Demonstrations$750,000
· FY2023 · CSE · contact PI
Collaborative Research: SHF: Core: Medium: Program Synthesis for Schema Changes$275,000
· FY2022 · CSE · contact PI
Collaborative Research: SaTC: CORE: Large: Building and Deploying a Verified JavaScript Runtime$1,383,005
· FY2021 · CSE
Expeditions: Collaborative Research: Understanding the World Through Code$776,814
· FY2020 · CSE · contact PI
SaTC: CORE: Medium: Collaborative: Effective Formal Reasoning for Mobile Malware$750,000
· FY2019 · CSE · contact PI
SHF: Medium: Collaborative Research: Bridging Automated Formal Reasoning and Continuous Optimization for Provably Safe Deep Learning$514,745
· FY2019 · CSE · contact PI
SHF: Medium: Collaborative Research: Computer-Aided Programming for Data Science$1,066,000
· FY2018 · CSE · contact PI
SHF: Small: Scalable Program Synthesis using Counterexample-Guided Abstraction Refinement$366,000
· FY2018 · CSE · contact PI
I-Corps: An Interactive Query Interface$50,000
· FY2018 · TIP · contact PI
CPS: Frontier: Collaborative Research: Data-Driven Cyberphysical Systems$770,000
· FY2017 · CSE
SHF:Small:Analysis, Repair, and Synthesis for k-Safety$515,993
· FY2017 · CSE · contact PI
CAREER: UNITY: Bridging the Gap Between Program Analyzers and Deductive Verifiers via Abductive Reasoning$604,394
· FY2015 · CSE · contact PI