Dominic Duggan

Associate Professor

School: School of Engineering and Science

Department: Computer Science

Building: Gateway Center

Room: S321

Phone: (201) 216-8042

Fax: (201) 216-8249

Email: dduggan@stevens.edu

Website

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
  • 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 (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

A Programming Environment Based on Types-as-Specifications. Individual NSERC Research Grant, 1991-4.A Type System for Software Reusability. ITRC (Ontario Institute for Technological Research Center) Center of Excellence Grant, 1991-3. With G. Cormack (P.I.), J. Ophel, P. Buhr and M. Coffin.Semantics-Based Support for Application Frameworks. Individual NSERC (Canadian National Science and Engineering Research Council) Research Grant, 1994-8.Software Engineering for Distributed Computing and Networking. Acting Principal Investigator. With A. Compagnoni, J. Geller (NJIT), D. Klappholz, N. Minsky (Rutgers), D. Naumann, Thu Nguyen (Rutgers), Y. Perl (NJIT), R. Scherl (NJIT), S. Wetzel. New Jersey Commission on Science and Technology, January 1999 to December 2004. Distributed Access Control for Accountable Systems. With J. Vitek (co-PI). National Science Foundation, Sept 2003 to August 2008.