Dominic Duggan

My research interests are in tools, including semantics, for ensuring that software is "safe" and "secure." I have worked on module systems for programming-in-the-large, software adaptation for safe dynamic library updates, various extensions of object-oriented languages to enable reuse, type inference, and language-based security. My work in security leverages techniques in programming languages and software checking to establish end-to-end security properties for applications.

• Coop Program Redesign Committee Member
• Benefits Advisory Committee Member
• Computer Science Curriculum Committee Chair
• Faculty Senate Member
• Senate IT Committee Chair
• SES Promotion and Tenure Committee Member
• Undergraduate Advisor Member
• ABET Coordinator Chair
• ABET Coordinator Chair
• Academic Planning and Resources Committee (APAR) Chair
• SES Promotions and Tenure Committee Member
• Academic Planning and Resources Committee (APAR) Chair
• Budget Advisory Committee Member
• Computer Science Curriculum Committee Chair
• Faculty Senate Member
• Strategic Plan Implementation Working Group Member
• Undergraduate Advisor Member

• IEEE Computer Security Foundations Symposium Steering Committee Member
• IEEE Computer Security Foundations Symposium Steering Committee Member
• IEEE Computer Security Foundations Symposium (CSF 2019) Organizing Committee General Chair
• IEEE Computer Security Foundations Symposium Steering Committee Member

• ACM – Association for Computing Machinery Member
• ACM – Assocation for Computing Machinery Member
• IEEE Computer Society Member

Distributed Access Control for Accountable Systems. With J. Vitek (co-PI). National Science Foundation, Sept 2003 to August 2008.

Workflows and Relationships for End-to-End Data Security in Collaborative Applications. National Science Foundation, Sept 2013 to August 2019.