Photo

Michael J. O'Donnell

Professor
Department of Computer Science
Professor
Physical Sciences Collegiate Division
Senior Fellow
Computation Institute

Contact Information

University of Chicago
1100 E 58th Street
Chicago, IL 60637

Office: Ryerson 157
Phone: (773)702-1269
Fax: (773)702-8487
odonnell@cs.uchicago.edu michael_odonnell@acm.org

Personal Homepage

http://people.cs.uchicago.edu/~odonnell

Research

I am interested in all types of interaction between computation and logic: in software applications, in the foundations of computer science, and in the conceptual foundations of other fields.

I study models for the digital description and production of sound.

I am investigating minimal network infrastructure to support public key cryptography/signature, based on the "nym" idea of self-signed key records.

In the past, I designed and implemented the first lazy functional programming language, defined precisely by the rules of equational logic. I have also investigated computational semantics for nonclassical logics, leading to a new understanding of constructive logic as a logic of proofs that can be communicated accurately in spite of some discrepancies in the language.

Education

BS in Computer Sciences, Purdue University, 1972

PhD in Computer Science, Cornell University, 1976

Technical Reports

TR-94-17
Intuitive Counterexamples for Constructive Fallacies. Lipton, James; O'Donnell, Michael J.. 1 October, 1994. Communicated by Michael O'Donnell.
TR-94-16
Equational Logic Programming. O'Donnell, Michael J.. 1 October, 1994. Communicated by Michael O'Donnell.
TR-94-15
Introduction: Logic and Logic Programming Languages. O'Donnell, Michael J.. 1 October, 1994. Communicated by Michael O'Donnell.
TR-93-11
Electronic Journals: scholarly invariants in a changing medium. O'Donnell, Michael J.. 30 July, 1993. Communicated by Michael O'Donnell.
TR-92-07
Electronic Journals: scholarly invariants in a changing medium. O'Donnell, Michael J.. 9 April, 1992. Communicated by Michael O'Donnell.
TR-92-01
Connecting Formal Semantics to Constructive Intuitions. O'Donnell, Michael J.; Mitchell, John C.; Kurtz, Stuart A.. 2 January, 1992. Communicated by Michael O'Donnell.
TR-90-27
Nonterminating Rewritings with Head Boundedness. O'Donnell, Michael J.; Chen, Yiyun. 29 August, 1990. Communicated by Michael O'Donnell.
TR-90-26
Proving Unorientable Equational Formulas. O'Donnell, Michael J.; Chen, Yiyun. 30 August, 1990. Communicated by Michael O'Donnell.