| I am a Professor of Computer Science 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). |