|
|
|
|
I am a Professor in the School of Informatics and
Computing---Bloomington, Indiana University. I am a member of the Programming Language
Group, the Foundations of Computing
Group, the Open Systems
Lab, and the Program
in Pure and Applied Logic.
Before that, I was affiliated with the University of Oregon (1995-2000), Chalmers University
(1994-1995), Carnegie-Mellon
University (1993-1994), Rice University (1989-1993), Cairo
University (1981-1989), and College de la Salle (1978-1981).
|
|
|