Funding

• 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-2008, $2,468,677; co-PI with Eva Tardos, Eric Friedman, Dan Huttenlocher, and Jon Kleinberg.
• Trustworthy Infrastructure, Mechanisms, and Experimentation for Diffuse Computing, MURI (administered by ONR), Cornell subcontract: $189,000, co-PI with Joan Feigenbaum, Pat Lincoln, John Mitchell, Andre Scedrov, Vitaly Shmatikov, and Steve Zdancewicz.
• Reasoning About Authorization and Security, AFOSR, 2005-07, $428,816
• Taking Awareness, Language, and Novelty into Account in Decision-Making and Game Theory, NSF, 2006-2009 $394,733