Dominic Duggan
Associate Professor
Charles V. Schaefer, Jr. School of Engineering and Science
Department of Computer Science
Research
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.
Institutional Service
- Benefits Advisory Committee Member
- Computer Science Curriculum Committee Chair
- Coop Program Redesign Committee Member
- Core Curriculum Committee Member
- Faculty Senate Member
- Graduate Curriculum Committee Member
- Senate IT Committee Chair
- Undergraduate Advisor Member
- SES Promotion and Tenure Committee Member
- 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
Professional Service
- 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
Professional Societies
- ACM – Association for Computing Machinery Member
- ACM – Assocation for Computing Machinery Member
- IEEE Computer Society Member
Grants, Contracts and Funds
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.
Workflows and Relationships for End-to-End Data Security in Collaborative Applications. National Science Foundation, Sept 2013 to August 2019.