Michael J. O'Donnell

Michael J. O'Donnell

Department of Computer Science
Senior Fellow
Computation Institute


Sound, Internet Protocols

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



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.


BS in Computer Sciences, Purdue University, 1972

PhD in Computer Science, Cornell University, 1976