Age 3
Age 49
 
Age 3
Age 49


Giving Colloquium at Moscow University, 1996
Moscow University, the Lab on Logic in Computer Science is on the 16th floor.
A seminar on dacha near Moscow, 1996
Giving Colloquium at Moscow University, 1996
Moscow University, the Lab on Logic in Computer Science is on the 16th floor.
A seminar on dacha near Moscow, 1996




Spinoza Lecture 1999, Utrecht. With Dirk van Dalen
Spinoza Lecture 1999, Utrecht. Before the lecture
Spinoza Lecture 1999, Utrecht. With Dick de Jongh
Spinoza Lecture 1999, Utrecht. With Dirk van Dalen
Spinoza Lecture 1999, Utrecht. Before the lecture
Spinoza Lecture 1999, Utrecht. With Dick de Jongh



The tunnel by the Western Wall, Jerusalem, 2000
Massada, Israel, 1999
The tunnel by the Western Wall, Jerusalem, 2000
Massada, Israel, 1999



Flying over Swiss Alpes with Tyko Strassen, 1995
Cornell hockey, 2000
Flying over Swiss Alpes with Tyko Strassen, 1995
Cornell hockey, 2000



On the top of the World Trade Center, New York, 1998
In the Kroller-Muller museum, Holland, 1999
On the top of the World Trade Center, New York, 1998
In the Kroller-Muller museum, Holland, 1999



In Carmel, California, with S.Feferman, 1989
With L.Beklemishev and P.van Emde Boas, 1999
With S.Abramsky and D.Miller, 1999
In Carmel, California, with S.Feferman, 1989
With L.Beklemishev and P.van Emde Boas, 1999
With S.Abramsky and D.Miller, 1999


City University Graduate Center, New York
City University Graduate Center, New York
Saul Kripke, Sergei Artemov, Anil Nerode

Markov 100 conference in St.Petersburg with N.A.Shanin and Yu.V.Matiyasevich. August 2003.
With students in New York: B.Renne, R.Kuznets, E.Pacuit, S.A.,
W.Dean, N.Novak, Ye.Bryukhov. April 2004
ASL meeting at Carnegie Mellon University. May 2004