[go to Personal Page] Master of Science Courant Institute of Mathematical Sciences New York University My Academic Interests: Relations between Mathematical Logic and Computation. Program Specifications and their Proofs. The Curry—Howard Isomorphism and Type Theory.

Places where I have studied:

New York University, Graduate School, Computer Science Dept.

Yale University, Mathematics and Computer Science Dept.

University at Stony Brook, Computer Science Dept.

Moscow State University, Physics Dept.

Places where I have worked:

The NPD Group, Inc. (Programmer)

WNSL Physics Laboratory. (Programmer)

Ygreko™ Software — Programming and Graphics Design.

Student Conferences I have attended:

2004	New York Graduate Student Logic Conference, St. Francis College.
2003	Fields Institute Summer School on Logic and Foundations of Computation. Ottawa, Canada.
2003	Fourth International Conference on Verification, Model Checking and Abstract Interpretation. New York.
2002	Proofs as Programs Summer School. Eugene, Oregon.
2001	Summer School on Logical Methods. Aarhus, Denmark.
1991	Student Conference on Mathematics and Physics. Sneek, Fryslând, The Netherlands.
1991	Student Exchange Program for German Language Training, München and Berlin, Germany.