Sergei Nikolayevich Artemov
Ph.D. Lomonosov Moscow State University 1980
Dissertation:
Extensions of Arithmetic and Modal Logics
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1: Albert Grigor'evich Dragalin
Advisor 2: Andrei Andreevich Markov
D.Sc. Steklov Institute of Mathematics 1988
Dissertation:
Axiomatizability and Completeness for Modal Logics of Provability
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor: Andrei Nikolayevich Kolmogorov
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Japaridze, Giorgi | Lomonosov Moscow State University | 1987 | |
| Goryachev, Sergei | Lomonosov Moscow State University | 1988 | |
| Pankrat'ev, Nikolay | Lomonosov Moscow State University | 1990 | |
| Beklemishev, Lev | Steklov Institute of Mathematics | 1992 | 8 |
| Shavrukov, Vladimir | Universiteit van Amsterdam | 1994 | |
| Strassen, Tyko | Universität Bern | 1995 | |
| Pentus, Mati | Lomonosov Moscow State University | 1996 | 3 |
| Yavorskaya (Sidon), Tatiana | Lomonosov Moscow State University | 1997 | |
| Naumov, Pavel | Cornell University | 1998 | |
| Yavorsky, Rostislav | Lomonosov Moscow State University | 1998 | |
| Milnikel, Robert | Cornell University | 1999 | |
| Zolin, Evgeny | Lomonosov Moscow State University | 2002 | |
| Bryukhov, Yegor | City University of New York | 2005 | |
| Slavnov, Sergey | Cornell University | 2005 | |
| Krupski, Nikolay | Lomonosov Moscow State University | 2006 | |
| Gottipati, Srikanth | City University of New York | 2008 | |
| Kuznets, Roman | City University of New York | 2008 | 1 |
| Renne, Bryan | City University of New York | 2008 | |
| Novak, Natalia | City University of New York | 2009 | |
| Dean, Walter | City University of New York | 2010 | |
| Wang, Ren-June | City University of New York | 2011 | |
| Kurokawa, Hidenori | City University of New York | 2012 | |
| Antonakos, Evangelia | City University of New York | 2013 | |
| Yu, Junhua | City University of New York | 2014 | |
| Achilleos, Antonis | City University of New York | 2015 | |
| Tasdemir, Cagil | City University of New York | 2015 | |
| Protopopescu, Tudor | City University of New York | 2016 | |
| Pouliasis, Konstantinos | City University of New York | 2017 | |
| Kushida, Hirohiko | City University of New York | 2021 | |
| Kushida, Hirohiko | City University of New York | 2021 | |
| Moore, Eoin | City University of New York | 2023 |
According to our current on-line database, Sergei Artemov has 31 students and 41 descendants.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 83475 for the advisor ID.