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.