Ph.D. students and postdocs (total 30):
supervised
- Lev Beklemishev, Ph.D. in 1989 from the USSR Academy of Sciences
under Adian and me as co-supervisors. Now Lev has the Doctor of Sciences
degree in mathematics. He won the Moscow Mathematical Society Award
(1992) for the best paper, Humboldt Stipend (1997). Beklemishev is now a
senior researcher at the Russian Academy of Sciences and a professor at
the Utrecht University, the Netherlands.
- Vladimir Brezhnev, my Ph.D. student at Moscow University since
1999. Left for a Ph.D. program in Saarbkucken.
- Egor Bryukhov is my Ph.D. student at Moscow State University since
1998, and at the Graduate Center CUNY since 2001.
- Walter Dean is my Ph.D. student at CUNY since 2003.
- Evan Goris is my Ph.D. student at CUNY since 2004.
- Srikanth Gottipati is my Ph.D. student at CUNY since 2003.
- Eugenii Kazakov was my Ph.D. student at Moscow State University
since 1999. Since October 2001 Ph.D. Student at the Max-Planck-Institut
für Informatik.
- Alexei Kopylov. He was my Ph.D. student at Moscow State University
and won Kleene Award for the best student paper from Logic in Computer
Science conference (1995). In 1998 Kopylov became a Ph.D. student at the
Department of Computer Science, Cornell University, where he got his
Ph.D. under R.Constable. Now Kopylov is a postdoc at Caltech.
- Sergei Kravtsov, my Ph.D. student at Moscow University 1999-2001.
In 2004 Kravtsov got his Ph.D. from Moscow University under V.B.Shehtman.
- Hidenori Kurokawa is my Ph.D. student at CUNY since 2003.
- Roman Kuznets, my Ph.D. student at Moscow University since 2000,
my Ph.D. student at CUNY since 2002.
- Pavel Naumov was my Ph.D. student at Moscow State University and
moved to Cornell within the framework of the cooperation program between
my Laboratory in Moscow and the PRL research group at Cornell
University. He got his Ph.D. 1998 from Cornell University under R.
Constable. Now Pavel is a professor at Penn State University.
- Natalia Novak is my Ph.D. student at the Graduate Center CUNY
since 2001.
- Mati Pentus, Ph.D. in mathematics and computer science (1994) from
Moscow State University. Mati also won the award For the Best Idea of
the Year from IGPL /FoLLI (1994), Moscow Mathematical Society Award
(1998). He is now a professor at Moscow State University
- Bryan Renne, my Ph.D. student at CUNY since 2002.
- Dmitry Shapiro was my Ph.D. student at Moscow State University in
1999-2000. He then decided to change his direction and became a student
of Economics at Yale University.
- Vladimir Shavrukov, Ph.D. 1994 from the University of Amsterdam.
I supervised his Ph.D. program with D. de Jongh and A. Visser as
co-advisers. Now Shavrukov is a faculty at the IT University of Copenhagen.
- Tanya Yavorsky-Sidon, Ph.D. 1997 from Moscow State University. She
is now a professor at the Department of Logic and Computation, Moscow
State University.
- Rostik Yavorsky, Ph.D. 1998 from Moscow State University, now a
researcher at Mathematical Institute of Russian Academy of Sciences.
- Evgenii Zolin was my Ph.D. student at Moscow State University
since 1998 (with V.A. Uspensky as co-supervisor). Evgenii got his Ph.D.
from Moscow University in 2002.
advised
- Jennifer Davoren, Ph.D. from Cornell University in 1998. I advised
this dissertation with A. Nerode as the principal supervisor.
- Sergei Goryachev, Ph.D. from Moscow State University in 1988. I
advised this dissertation with S.I.Adian as the principal supervisor.
- Evgenii Makarov was a Ph.D. student at Moscow State University
since 1996. I advised him with V.A. Uspensky as the principal
supervisor. Now Makarov is about to get his Ph.D. from Indiana
University under D.Leivant.
- Nikolay Pankrat'ev, Ph.D. from Moscow State University in 1993. I
advised this dissertation with V.A. Uspensky as the principal supervisor.
- Tyko Strassen, Ph.D. from Bern University, Switzerland, in 1995. I
advised this dissertation with Gerhard Jager as the principal supervisor.
postdoctoral fellows and visitors sponsored
- Valentina Barkova, postdoc at Moscow State University, 1994-95
- Rosalie Iemhoff, got her Ph.D. from the University of Amsterdam in
2001 under A.Troelstra. In 2004 Rosalie had a very fruitful visit at my
Laboratory in New York.
- Georgi Japaridze was my poscdoc at Moscow State University in
1986-1991. In 1998 Japaridze got his second Ph.D., in computer science,
under Scott Weinstein from the University of Pennsylvania. He is now a
professor at the Computing Sciences Department of Villanova University.
- Victor Krivtsov was my postdoc at Moscow State University in
1996-1999.
- Alexander Yashin, posdoc at Moscow University in 1994-1997. He
received his Doctor of Science degree in 2000.