New York University. Ph.D. in Computer Science, May, 1999.
Thesis Title: Learning to Play Network Games.
Advisors: Bud Mishra and Rohit Parikh.

Cornell University. M.S. in Computer Science. Minor: Mathematics. January, 1995.
Thesis Topic: Automated Theorem Proving in Constructive Logics.
Advisors: Bob Constable and Dexter Kozen.

Oxford University. M.Sc. in Computation. September, 1992.
Thesis Title: Convergence Proofs with Good Intensions.
Advisor: Lincoln Wallen.

University of Pennsylvania. Management and Technology Dual Degree Program.
Summa Cum Laude. University Scholar. Benjamin Franklin Honors Program.
Thesis Title: Decidability of Many-Sorted Term Rewrite Systems.
Advisor: Val Breazu-Tannen.

Weizmann Institute of Science, Karyn Kupcinet International Student Research Program. Summer 1990.

International Summer School:

  • Logic and Proofs of Programs, Chambery, France, 1993.
  • Language, Logic, and Information, Colchester, England, 1992.
  • Logic and Algebra of Specification, Marktoberdorf, Germany, 1991.