Adriana Compagnoni

Professor Compagnonis' main interests center on Language-Based Security. As part of the Secure Systems research thrust, she studies the application and development of innovative programming language techniques that address security, access control, privacy, and confidentiality issues.

Her research furthers our knowledge of the production of high-quality software systems, either by constructing proved-correct software, designing calculi for the modeling of complex software systems, or studying meta-theoretical results relevant to the production of such software. She is also working with Andrew Appel (Princeton) on the construction of a proved-correct compiler for Featherweight Java. Their long term goal is the construction of a correct Java compiler as part of the Concurrent C Minor project.

Dr. Compagnoni has recieved several National Science Foundation (NSF) grant awards for her research, including; 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.