His research interests are in the semantics, logical foundations, and implementations of programming languages. He has published on a range of themes including the typing, logical foundations, and programming applications of continuations and continuation-passing style, reasoning about monadic effects and staged computation, and programming language models of quantum computing.

His most recent research interests are related to quantum computing. 

Research Areas:

  • Programming Languages
  • Theoretical Computer Science
  • Algorithms and Theoretical Computer Science
Past Affiliations

Chair, Department of Computer Science, Luddy School of Informatics, Computing and Engineering, Indiana University Bloomington

Associate Professor, Computer Science, School of Informatics, Computing, and Engineering, Indiana University Bloomington

Assistant Professor, Computer and Information Science

Postdoctoral Scholar, Computer Science

Computer Science, Computer Science
PhD, Rice University, Computer Science, 1994
MS, Rice University, Computer Science, 1993
MS, Cairo University, Computer Engineering, 1989
BS, Cairo University, Electronics and Computer Engineering, 1986
computer and information sciences
Arabic, French

Trustees Teaching Award, Indiana University, 2001

Recognition of Service Award, ACM, 2001

Certificate of Honor from the Syndicate of Egyptian Engineers, 1986