Reasoning under uncertainty, AFOSR, 1991--1994,
$693,118
Qualitative approaches to reasoning about uncertainty,
NSF, 1995--1998, $215,829
A qualitative framework for reasoning under uncertainty,
NSF, 1996--2000, $320,000
Updating beliefs in incompletely specified situations,
AFOSR, 1996--1997, $137,288
Predictive, sensor-assisted wireless multmedia systems,
NSF, 1997-2000, $862,645 (co-PI with Terrence Fine and Stephen Wicker,
Cornell, School of Electrical Engineering)
Semantic Consistency in Information Exchange, MURI
(administered by ONR), $433,962 (amount of Cornell subcontract);
co-PI with Sampath Kannan, Insup Lee, John Mitchell, Andre Scedrov,
and Ronitt Rubinfeld.
Resource-bounded knowledge and security, ONR, 2000-2002,
$200,000.
Decision-making in complex systems, NSF, 2000-2002,
$90,000.
Reasoning about Noninterference, ONR, 2001, $87,000.
Software Quality and Infrastructure Protection for Diffuse
Computing, MURI (administered by ONR), 2001-2005 $4,850,875 (Cornell
subcontract: $526,058); co-PI
with Joan Feigenbaum, John Mitchell, Andre Scedrov, and Jon Smith.
Formulating and Reasoning About Security Policies,
AFOSR, 2002-2004, $322,788
A Logical Foundation for Reasoning About Security,
ONR, 2002-2005, $354,763.
Towards Improved Logics for Reasoning about Security,
NSF, 2002-2005, $300,000.
Networks of Strategic Agents: Theory and Algorithms}, NSF ITR
2003-07,
$2,468,677
co-PI with Eric Friedman, Dan Huttenlocher, Jon Kleinberg, Eva Tardos,
Trustworthy Infrastructure, Mechanisms, and Experimentation
for Diffuse Computing, MURI (administered by ONR), 2004-05,
Cornell subcontract: $189,000, co-PI with
Joan Feigenbaum, Pat Lincoln, John Mitchell, Andre Scedrov, Vitaly
Shmatikov, and Steve Zdancewic.
Reasoning About Authorization and Security, AFOSR, 2005-07,
$429,816
Taking Awareness, Language, and Novelty into
Account in Decision-Making and Game Theory, NSF, 2006-2009
$394,733
Playing Games and Making Decisions with Complex State Spaces,
Resource-Bound Agents, and Unforseen Contingencies, AFOSR, 2008-2010.
$450,000.
Robust Game Theory and Decision Theory with Resource-Bounded
Agents, NSF, 2008-2011, $393,150.
Qualitative and Quantitative Proofs of Security Properties,
AFOSR, 2009-2012, $448,183..
Learning in the Presence of Unawareness, ARO,
2009-2013, $559,168.
Causal Databases, NSF (co-PI with Christoph Koch and Dan Suciu)