← Leaderboards
Moshe Y Vardi
William Marsh Rice University
$5,177,950
Attributed
$11,492,290
Total exposure
27
Grants
16
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.3M · FY2006–22$2M$1.5M$1M$500K$0
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
'22
Funding mix
By agency
NSF$11,492,290 · 27
By mechanism
—$11,492,290 · 27
Top collaborators
- Lydia Kavraki5 shared
- Don H Johnson3 shared
- Richard G Baraniuk3 shared
- Brian P Padley2 shared
- C. Sidney Burrus2 shared
- Leonardo A Duenas Osorio2 shared
- Anastasios Kyrillidis1 shared
- Andrew Bernat1 shared
Grant awards (27)
Conference: CISE: CCF: SHF: Support for the 2022 Federated Logic Conference$50,000
· FY2022 · CSE · contact PI
Classical and Quantum Algorithms for the Principled Quantification of Infrastructure Safety$460,000
· FY2021 · ENG
CCRI: Medium: Collaborative Research: Open-Source, State-of-the-Art Symbolic Model-Checking Framework$256,641
· FY2020 · CSE · contact PI
Convergence Accelerator Phase I (RAISE): Scalable Knowledge Network to Enable Intelligent Textbooks$1,000,000
· FY2019 · TIP
NRI: FND: Robotic Collaboration through Scalable Reactive Synthesis$749,291
· FY2018 · CSE
SHF: Medium: Collaborative Research: Formal Analysis and Synthesis of Multiagent Systems with Incentives$800,000
· FY2017 · CSE
CC* Networking Infrastructure: Improving Network Infrastructure to Enable Large Scale Scientific Data Flows and Collaboration$499,646
· FY2017 · CSE
A Conference on Humans, Machines and the Future of Work$25,000
· FY2016 · CSE · contact PI
III: Small: Sampling Techniques in Computational Logic$488,286
· FY2015 · CSE · contact PI
Collaborative Research: Unraveling the Limits of Computation in Structural and Infrastructure Engineering$270,000
· FY2014 · ENG
Student Support for the 2014 Federated Logic Conference$40,000
· FY2014 · CSE · contact PI
MRI: Acquisition of Big-Data Private-Cloud Research Cyberinfrastructure (BDPC)$400,000
· FY2013 · CSE · contact PI
Collaborative Research: Expeditions in Computer Augmented Program Engineering (ExCAPE): Harnessing Synthesis for Software Design$1,000,000
· FY2012 · CSE · contact PI
Workshop on the Publication Culture in Computing Research$24,400
· FY2012 · CSE
DIP: Collaborative Research: A Personalized Cyberlearning System Based on Cognitive Science$610,150
· FY2011 · CSE
Collaborative Research: CI-Team Implementation Project: The Signal Processing Education Network$497,250
· FY2010 · ENG
SHF: Small: A Synergistic Multi-Layered Approach for Falsification of Specifications for Hybrid Systems$480,000
· FY2010 · CSE
Eager: Automated Synthesis for System Design$250,000
· FY2010 · CSE · contact PI
Support for the 2010 Federated Logic Conference$30,000
· FY2010 · CSE · contact PI
An Automata-Theoretic Approach to Design Synthesis$300,000
· FY2007 · CSE · contact PI
CSR/EHS: A Robotics-Inspired Approach for the Verification of Hybrid Systems$420,000
· FY2006 · CSE
SOD:HCER: A Theory of Automated Design$200,000
· FY2006 · CSE · contact PI
Automata-Theoretic Approach to Design Verification$200,000
· FY2003 · CSE · contact PI
MRI: Acquisition of CITI Terascale Cluster (CTC)$1,150,000
· FY2002 · CSE · contact PI
Constructing Probability Models for Large Corpora of Well-Informed but Probabilistically Incoherent Judgments$593,953
· FY2000 · CSE · contact PI
Educational Innovation: "Collaborative Research:" Integrating Logic in the Computer Science Curriculum$489,590
· FY2000 · CSE · contact PI
Collaborative Research: Constraint Satisfaction, Database Query Evaluation, and Information Integration$208,083
· FY2000 · CSE · contact PI