Teaching

• Theory of Computation CS 4123 A term 2007
• Foundations of Computer Science CS 503 Spring 2008
• Foundations of Computer Science, an introduction CS 5003 Spring 2008

Wondering about the difference between CS 503 and CS 5003?

Research

• Publications

Conferences

ITRS 2008, the 4th Workshop on Intersection Types and Related Systems

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

My pub directory

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
• some worthwhile email forums: types , rewriting , concurrency, and moca (for mobile calculi).

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

---