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 listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Achilleos, Antonis | City University of New York | 2015 | |
| Antonakos, Evangelia | City University of New York | 2013 | |
| Beklemishev, Lev | Steklov Institute of Mathematics | 1992 | 8 |
| Bryukhov, Yegor | City University of New York | 2005 | |
| Dean, Walter | City University of New York | 2010 | |
| Goryachev, Sergei | Lomonosov Moscow State University | 1988 | |
| Gottipati, Srikanth | City University of New York | 2008 | |
| Japaridze, Giorgi | Lomonosov Moscow State University | 1987 | |
| Krupski, Nikolay | Lomonosov Moscow State University | 2006 | |
| Kurokawa, Hidenori | City University of New York | 2012 | |
| Kushida, Hirohiko | City University of New York | 2021 | |
| Kushida, Hirohiko | City University of New York | 2021 | |
| Kuznets, Roman | City University of New York | 2008 | 1 |
| Milnikel, Robert | Cornell University | 1999 | |
| Moore, Eoin | City University of New York | 2023 | |
| Naumov, Pavel | Cornell University | 1998 | |
| Novak, Natalia | City University of New York | 2009 | |
| Pankrat'ev, Nikolay | Lomonosov Moscow State University | 1990 | |
| Pentus, Mati | Lomonosov Moscow State University | 1996 | 3 |
| Pouliasis, Konstantinos | City University of New York | 2017 | |
| Protopopescu, Tudor | City University of New York | 2016 | |
| Renne, Bryan | City University of New York | 2008 | |
| Shavrukov, Vladimir | Universiteit van Amsterdam | 1994 | |
| Slavnov, Sergey | Cornell University | 2005 | |
| Strassen, Tyko | Universität Bern | 1995 | |
| Tasdemir, Cagil | City University of New York | 2015 | |
| Wang, Ren-June | City University of New York | 2011 | |
| Yavorskaya (Sidon), Tatiana | Lomonosov Moscow State University | 1997 | |
| Yavorsky, Rostislav | Lomonosov Moscow State University | 1998 | |
| Yu, Junhua | City University of New York | 2014 | |
| Zolin, Evgeny | Lomonosov Moscow State University | 2002 |
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.