JavaScript Menu Courtesy of Milonic.com
Stevens Computer Science Engineering & Science Stevens Computer Science
Stevens Institute of Technology Stevens Computer Science Homepage Stevens Computer Science Homepage
Stevens CS
PEOPLE
Faculty
Adjunct Faculty
Administrative Staff
Research Associates & Postdocs
PH.D Students
Alumni
        

News
gray gray Share/Save/Bookmark
Share
gray
Print
Stevens CS
back
Professor Dominic Duggan

Personal Webpage
Professor Dominic Duggan

Associate Professor

Location:

303 Lieb

Phone:

201.216.8042

Fax:

201.216.8249

Email:

dduggan@stevens.edu
Courses:
CS 520
CS 510
CS 516
CS 526
CS 548
CS 549
CS 522
SOC 542
SOC 606
 

Schaefer School of Engineering & Science

Department:  

Computer Science

Program: 

Computer Science

Research & Education
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. 

Education

Bachelor of Commerce, University College, Dublin, Ireland, 1981.

Master of Management Science, University College, Dublin, Ireland, 1982.

M.Sc. in Computer Science, University of Maryland, College Park, Maryland, 1987.

Ph.D. in Computer Science, University of Maryland, College Park, Maryland, 1990. Dissertation title: A Programming Environment Based on Types as Specifications.

Experience & Service
Institutional Service

Academic Planning and Resources Committee (APAR), 2006-8.

Academic Appeals Committee.

ISSA Curriculum Committee, 1999-2006.

Computer Science Curriculum Committee (chair), 1999-2006.

Computer Science Communications Committee (chair), 2007-present.

Program Director, MS in Service Oriented Computing, 2007-present.

Program Director, MS in Enterprise Computing, 2008-present.

Computer Science Department Director, 2006-7.

Achievements & Professional Societies
Grants, Contracts & 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.

   
Professional Societies

Member, Association for Computing Machinery.

Member, IEEE Computer Society. 

Selected Publications
Journals

  • D. Duggan and F. Bent. (1996). "Explaining type inference", Science of Computer Programming, Elsevier. 27 (1).


  • D. Duggan, G. Cormack and J. Ophel. (1996). "Kinded type inference for parametric overloading", Acta Informatica, Springer. (33), 21-68.


  • D. Duggan. (1998). "Unification with extended patterns", Theoretical Computer Science, Elsevier. (206), 1-50.


  • D. Duggan. (1999). "Dynamic typing for distributed programming in polymorphic languages", Transactions on Programming Languages and Systems, ACM. 21 (1), 11-45.


  • D. Duggan. (2001). "Higher-order substitutions", Information and Computation, Academic Press. (164), 1-53.


  • D. Duggan and J. Ophel. (2002). "Open and closed scopes for constrained genericity", Theoretical Computer Science, Elsevier. (275), 215-258.


  • D. Duggan and J. Ophel. (2002). "Type checking multi-parameter type classes", Journal of Functional Programming, Academic Press. 12 (2), 133-158.


  • D. Duggan. (2002). "Object type constructors", Acta Informatica, Springer. (38), 367-408.


  • D. Duggan. (2002). "Type-safe dynamic linking with recursive DLLs and shared libraries", Transactions on Programming Languages and Systems, ACM. 24 (6), 711-804.


  • T. Chothia and D. Duggan. (2004). "Abstractions for fault-tolerant global computing", Theoretical Computer Science, Elsevier. 3 (322), 567-613.


  • D. Duggan. (2004). "Type-based cryptographic operations", Journal of Computer Security, 12 (3-4), 485-550.


  • D. Duggan. (2005). "Type-based hot swapping of running libraries", Acta Informatica, Springer. 41 (4-5).


  • T. Chothia and D. Duggan. (2007). "Capability passing processes", Science of Computer Programming, Elsevier. (66), 184-204.


  • Stevens CS
            

    News
    gray gray Share/Save/Bookmark
    Share
    gray
    Print
    Stevens CS
    Stevens CS Stevens CS Stevens CS
    View my Iframe Content