Research

• Publications

Teaching

• Logic in Computer Science CS 521 Fall 2008
• Foundations of Computer Science CS 503 Spring 2009
• Foundations of Computer Science, an introduction CS 5003 Spring 2009

Wondering about the difference between CS 503 and CS 5003?

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

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

---