Projects

Funded Projects

Analysis of Logic Programs funded by the NSF (2002-7)
Backwards Analysis for Logic Programs funded by the NSF (2003-6)
Analysis of Critical Software funded by the Michigan Space Grant Consortium (2003)