Michael J. O'Donnell

Professor

Department of Computer Science

Senior Fellow

Computation Institute

Interests

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

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