Computer Science

Daniel J. Dougherty

Professor

Department: Computer Science
Professional Page
Office: Fuller Laboratories, 136
Phone: +1-508-831-5621
Fax: +1-508-831-5667
dd@wpi.edu
dd@cs.wpi.edu

Educational Background

Research & Teaching Interests

Logic in computer science, with emphases on applications in programming languages and security policies.

Research

Programming languages, especially foundational calculi for functional and object-oriented programming, and automated deduction, especially first-order and higher-order unification.

Maintained by webmaster@wpi.edu