| Papers |
What Deans of Informatics Should Tell Their University Presidents
Cornell University, 2007
|
Transforming the Academy
Northeastern University, 2006
Universities in the Information Age
Cornell University, 2003. |
The Future of Departments (with Glenn Altschuler)
Cornell University, 2003. |
Notes on the What Is Information Workshop, Beer Sheva, Israel, January 2002.
Cornell University, 2002. |
The Long Term Status of the Computer Science Department -- Report to the Provost
Cornell University, 2001. |
Nature of the Information Sciences Cornell University, 2000. |
Funding Computing and Information Science, Transforming Cornell
Cornell University, 2000. |
Presentations |
What Deans of Informatics Should Tell Their University Presidents
Zurich, Switzerland, 2007. |
Transforming the Academy
Northeastern University, 2006 |
Process Extraction in a Logic of Events, Tel-Aviv University
Tel Aviv University, 2005. |
Brave New Digital World
Cornell, 2005 . |
Foundations for the Management of Formal Mathematical Knowledge
Nijmegen, 2004. |
Update on the Faculty of Computing and Information Science
Microsoft, 2004. |
Verifying Distributed Protocols Using a Logic of Events
Intel, 2004. |
Universities in the Information Age
Ben Gurion University, Jan 2003
Reading, England, Oct 2002 |
Computing and Information Science at Cornell (with Juris Hartmanis) Snowbird, July 2002. |
Information Science at Cornell -- President’s Council Presentation Cornell University, Apr 2002. |
Cornell’s Initiative in Computing and Information Science (CIS) -- Presentation to the
Research Subcommittee of the Board of Trustees Cornell University, Jan 2002. |
Talks |
A Liberal Education in the Information Age:
Taking the Measure of a New Mode of Thought Cornell University, 2001. |