People

Daniel J. Dougherty

Professor

Faculty Listing
Office: Fuller Laboratories, 136
Phone: +1-508-831-5621
Fax: +1-508-831-5667
dd@wpi.edu
dd@cs.wpi.edu

Related Information

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.

Years of Service at WPI

Professional Experience & Activities

Professional Societies/Memberships

Maintained by webmaster@cs.wpi.edu