Research

• The Applied Logic and Security (ALAS) lab
• Publications

Teaching

• Theory of Computation CS 4123 A term 2008
• Foundations of Computer Science, an introduction CS 5003 Fall 2009

Wondering about the difference between CS 503 and CS 5003?

Visiting

I am in room 136 of Fuller Labs: this is building number 11 on the map. Parking is competetitive. To park on campus legally one needs to secure a visitor's parking sticker, which guarantees you nothing; during low-traffic times the best place to park is in the lot behind Fuller Labs (on the west side of Boylston St); another possibility is the lot labelled "Staff parking", near the intersection of Park Ave and Salisbury St (on the west side of John Wing Road).

Contact

Daniel J. Dougherty
Department of Computer Science
Worcester Polytechnic Institute
100 Institute Rd
Worcester, MA 01609, USA

email:  dd at cs dot wpi dot edu
phone:  [508] 831 5621
fax:  [508] 831 5776

My calendar

Links

Some research links:

• the citeseer research index,
• the Collection of Computer Science Bibliographies
• the WWW Virtual Library on Computing (and their top-level page).
• the Rewriting Home Page
• Jonathan Bowen's Formal Methods page

WPI links:

• WPI's Department of Computer Science
• WPI's University home page

Real life:

• Amnesty International
• Oxfam International
• The Web Gallery of Art
• A website devoted to the drawings at The Cave of Lascaux
• Doonesbury (requires Flash...)
• Thomas Boswell's 99 Reasons Why Baseball is Better than Football

---