has been an editor for several leading outlets in this area, including the Annals of Pure and Applied Logic and the monograph series Studies in Logic and Foundations of Mathematics. From 1996–2001 he was a professor of mathematics and computer science at Cornell University and since 2001 has been a Distinguished Professor at the Graduate Center of the City University of New York with affiliations in computer science, mathematics, and philosophy. He has also held visiting faculty positions at Stanford University, Universities of Amsterdam, Bern, and Siena, and other academic centers. As of 2015, Professor Artemov has supervised 27 Ph.D. dissertations. Awards Russian Presidential Fellowship for Outstanding Scientist, 1994 Spinoza Lecture, European Association for Logic, Language and Information, 1999 Clifford Lectures, 2002 Distinguished Lecture in Computer Science, the New York Academy of Sciences, 2002 Gala lecture for the Kurt Goedel Society, Festsaal Rathaus Vienna, 2003 Selected bibliography Abstract Abstract Abstract References External links Sergei N. Artemov's personal webpage: http://web.cs.gc.cuny.edu/~sartemov Sergei N. Artemov at the Mathematics Genealogy Project:http://genealogy.math.ndsu.nodak.edu/id.php?id=83475 50th birthday article: http://www.ams.org/distribution/mmj/vol1-4-2001/artemov.html 60th birthday article: http://ac.els-cdn.com/S0168007213001012/1-s2.0-S0168007213001012-main.pdf?_tid=bc0aec24-c22e-11e5-802f-00000aacb361&acdnat=1453594348_217607bdb05653d6d0505e826e99713e 1951 births Living people 20th-century American mathematicians City University of New York faculty Graduate Center, CUNY faculty Moscow State University alumni Russian emigrants to the United States Soviet mathematicians 21st-century American mathematicians