- October 2008
- was co-awarded a grant of $3M over 5 years
from AFOSR (Air Force Office of Scientific Research)
for the proposal
Evidence-based Trust in Large-scale MLS Systems.
(John Hatcliff was the PI, other co-PI's were Andrew Appel and
Edward Felton from Princeton, Anindya Banerjee, Xinming Ou, Robby.)
- January 2006
- was co-awarded a grant of $450K over 3 years
from AFOSR (Air Force Office of Scientific Research)
for the proposal
An Integrated Specification and Verification Environment for
Component-based Architectures of Large-scale Distributed Systems.
(John Hatcliff was the PI, Anindya Banerjee
was also co-PI.)
- August 2004
- received the Best Paper Award for the
2004 edition of Static Analysis Symposium (SAS)
together with Anindya Banerjee,
for our paper
Information Flow Analysis in Logical Form.