Funding:
 
    * NSF Career: A Formally Verified Environment For The Production Of Secure Software
 
    * NSF ITR: Secure Electronic Transactions with Elsa Gunter and Arnold Urken
 
    * NSF-REU Undergraduate Internships
 
 
Research Projects:
 
    * Concurrent C Minor project
 
    * The Mobile Access Control project.
 
    * NSF Career: A Formally Verified Environment For The Production Of Secure Software  
                
 
 
Adriana Compagnoni../Adriana%20Compagnoni/Adriana%20Compagnoni.html../Adriana%20Compagnoni/Adriana%20Compagnoni.htmlshapeimage_2_link_0