| I am a Professor in the Computer Science department, Indiana University, Bloomington. 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). | In the Computer Science department, I am a member of the Programming Language Group and the Foundations of Computing Group. At Indiana University, I am a member of the Program in Pure and Applied Logic and affiliated with the School of Informatics. |