Moshe Y. Vardi - US grants

Affiliations: 
Computer Science Rice University, Houston, TX 
Area:
Computer Science, Computer Engineering, Applied Mathematics

We are testing a new system for linking grants to scientists.

The funding information displayed below comes from the NIH Research Portfolio Online Reporting Tools and the NSF Award Database.
The grant data on this page is limited to grants awarded in the United States and is thus partial. It can nonetheless be used to understand how funding patterns influence mentorship networks and vice-versa, which has deep implications on how research is done.
You can help! If you notice any innacuracies, please sign in and mark grants as correct or incorrect matches.

Sign in to see low-probability grants and correct any errors in linkage between grants and researchers.

High-probability grants

According to our matching algorithm, Moshe Y. Vardi is the likely recipient of the following grants.
Years Recipients Code Title / Keywords Matching
score
1995 — 2001 Kennedy, Ken
Symes, William (co-PI) [⬀]
Burrus, C. Sidney (co-PI) [⬀]
Zwaenepoel, Willy [⬀]
Vardi, Moshe
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Cise Research Infrastructure: Multi-Processor Cluster Computing, (a Research Infrastructure Proposal)

@ William Marsh Rice University

0.915
1997 — 2001 Vardi, Moshe
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Variable-Confined Logics in Finite-Model Theory

@ William Marsh Rice University

0.915
1997 — 1998 Vardi, Moshe
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Workshop On Application of Tree Automata in Rewriting, Logic and Programming in Frankfurt, Germany, October 20-24, 1997

@ William Marsh Rice University

0.915
2000 — 2005 Vardi, Moshe
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Collaborative Research: Constraint Satisfaction, Database Query Evaluation, and Information Integration

@ William Marsh Rice University

0.915
2000 — 2004 Osherson, Daniel
Cook, William
Ensor, Katherine (co-PI) [⬀]
Vardi, Moshe
Hartley, Peter (co-PI) [⬀]
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Constructing Probability Models For Large Corpora of Well-Informed But Probabilistically Incoherent Judgments

@ William Marsh Rice University

0.915
2000 — 2008 Vardi, Moshe
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Developing Linear-Time Model-Checking Technology

@ William Marsh Rice University

0.915
2000 — 2005 Felleisen, Matthias (co-PI) [⬀]
Vardi, Moshe
Barland, Ian
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Educational Innovation: "Collaborative Research:" Integrating Logic in the Computer Science Curriculum

@ William Marsh Rice University

0.915
2002 — 2005 Kennedy, Ken
Johnson, Don (co-PI) [⬀]
Zwaenepoel, Willy (co-PI) [⬀]
Vardi, Moshe
Mellor-Crummey, John (co-PI) [⬀]
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Mri: Acquisition of Citi Terascale Cluster (Ctc)

@ William Marsh Rice University

0.915
2003 — 2007 Vardi, Moshe
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Automata-Theoretic Approach to Design Verification

@ William Marsh Rice University

0.915
2006 — 2011 Kavraki, Lydia
Vardi, Moshe
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Csr/Ehs: a Robotics-Inspired Approach For the Verification of Hybrid Systems

@ William Marsh Rice University

0.915
2006 — 2009 Vardi, Moshe
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Sod:Hcer: a Theory of Automated Design

@ William Marsh Rice University

0.915
2007 — 2010 Vardi, Moshe
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

An Automata-Theoretic Approach to Design Synthesis

@ William Marsh Rice University

0.915
2010 — 2014 Vardi, Moshe
Johnson, Don (co-PI) [⬀]
Burrus, C. Sidney (co-PI) [⬀]
Baraniuk, Richard [⬀]
Embree, Mark (co-PI) [⬀]
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Collaborative Research: Ci-Team Implementation Project: the Signal Processing Education Network

@ William Marsh Rice University

0.915
2010 — 2013 Vardi, Moshe
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Eager: Automated Synthesis For System Design

@ William Marsh Rice University

0.915
2010 — 2014 Kavraki, Lydia
Vardi, Moshe
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Shf: Small: a Synergistic Multi-Layered Approach For Falsification of Specifications For Hybrid Systems

@ William Marsh Rice University

0.915
2010 — 2011 Vardi, Moshe
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Support For the 2010 Federated Logic Conference

@ William Marsh Rice University

0.915
2011 — 2015 Padley, Paul
Vardi, Moshe
Johnson, Don (co-PI) [⬀]
Burrus, C. Sidney (co-PI) [⬀]
Baraniuk, Richard [⬀]
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Dip: Collaborative Research: a Personalized Cyberlearning System Based On Cognitive Science

@ William Marsh Rice University

0.915
2012 — 2017 Kavraki, Lydia
Vardi, Moshe
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Collaborative Research: Expeditions in Computer Augmented Program Engineering (Excape): Harnessing Synthesis For Software Design

@ William Marsh Rice University

0.915
2013 — 2016 Allen, Genevera (co-PI) [⬀]
Kavraki, Lydia
Vardi, Moshe
Bradshaw, Stephen
Veeraraghavan, Ashok (co-PI) [⬀]
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Mri: Acquisition of Big-Data Private-Cloud Research Cyberinfrastructure (Bdpc)

@ William Marsh Rice University

0.915
2013 — 2017 Vardi, Moshe
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Shf: Small: Pushing the Frontier of Linear-Time Model-Checking Technology

@ William Marsh Rice University

0.915
2014 — 2017 Vardi, Moshe
Duenas Osorio, Leonardo
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Collaborative Research: Unraveling the Limits of Computation in Structural and Infrastructure Engineering

@ William Marsh Rice University

0.915
2014 Vardi, Moshe
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Student Support For the 2014 Federated Logic Conference

@ William Marsh Rice University

0.915
2015 — 2018 Vardi, Moshe
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Iii: Small: Sampling Techniques in Computational Logic

@ William Marsh Rice University

0.915
2016 — 2017 Vardi, Moshe
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

A Conference On Humans, Machines and the Future of Work

@ William Marsh Rice University

0.915
2017 — 2019 Cooper, Keith
Padley, Paul
Odegard, Jan
Vardi, Moshe
Jelinkova, Klara
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Cc* Networking Infrastructure: Improving Network Infrastructure to Enable Large Scale Scientific Data Flows and Collaboration

@ William Marsh Rice University

0.915
2017 — 2020 Chaudhuri, Swarat [⬀]
Vardi, Moshe
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Shf: Medium: Collaborative Research: Formal Analysis and Synthesis of Multiagent Systems With Incentives

@ William Marsh Rice University

0.915
2018 — 2021 Kavraki, Lydia
Vardi, Moshe
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Nri: Fnd: Robotic Collaboration Through Scalable Reactive Synthesis

@ William Marsh Rice University

0.915
2019 — 2020 Heller, H. Craig
Genesereth, Michael
Vardi, Moshe
Baraniuk, Richard [⬀]
Grimaldi, Phillip
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Convergence Accelerator Phase I (Raise): Scalable Knowledge Network to Enable Intelligent Textbooks

@ William Marsh Rice University

0.915
2020 — 2023 Vardi, Moshe
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Ccri: Medium: Collaborative Research: Open-Source, State-of-the-Art Symbolic Model-Checking Framework

@ William Marsh Rice University

0.915