|
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
|
|
Spinoza Lecture 1999, Utrecht. With Dirk
van Dalen
|
Spinoza Lecture 1999, Utrecht. Before the
lecture
|
Spinoza Lecture 1999, Utrecht. With Dick
de Jongh
|
|
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
|
|
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 |
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
|