Ph.D. Students and Postdocs

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.