I am a Professor of Computer Science in the Luddy School of Informatics, Computing, and Engineering—Bloomington, Indiana University. I am a member of the Programming Language Group, the Foundations of Computing Group, the Program in Pure and Applied Logic, and the IU Quantum Science and Engineering Center (QSEc).

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).