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.
Philippe Bidinger, and Adriana Compagnoni. (Feb 2009). Pict Correctness Revisited, Theoretical Computer Science, Elsevier. 410 (2-3), 114-127. link
Philippe Bidinger and Adriana Compagnoni. (Feb 2009). Pict Correctness Revisited, Theoretical Computer Science, 2-3 (410), 114-127. Link
Adriana Compagnoni and Healfdene Goguen (Guest Editors). (Oct 2008). Theory and Applications of Subtyping: Introduction, Mathematical Structures in Computer Science, Cambridge University Press. 18 (5), 795-796
Adriana Compagnoni, Elsa L. Gunter, and Philippe Bidinger. (May 2008). Role-based Access Control for Boxed Ambients, Theoretical Computer Science, Festschrift in Honor of Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca. 398 (1-3), 203-216. Link
Adriana Compagnoni and Healfdene Goguen. (Dec 2007). Subtyping a la Church, Festschrift in Honor of Henk Barendregt, Radboud University Nijmegen. Link
Yifei Bao, Adriana Compagnoni, Joseph Glavy, and Tommy White. (Aug 23-24, 2010). Computational Modeling for the Activation Cycle of G-proteins by G-protein-coupled Receptors, 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi, Jena, Germany (MeCBIC 2010)
Eduardo Bonelli and Adriana Compagnoni. (Nov 2007). Multipoint Session Types for a Distributed Calculus, Proceedings of Trustworthy Global Computing 2007. Link