Sergei Nikolaevich Artemov (Russian: Сергей Николаевич
Артемов) (born December 25, 1951) is a Russian-American
researcher in logic and its applications. He currently holds the title
of Distinguished Professor[1] at the Graduate Center of the City
University of New York[2] where he is the founder and head of its
research laboratory for logic and computation.[3][4] His research
interests include proof theory and logic in computer science, optimal
control and hybrid systems, automated deduction and verification,
epistemology, and epistemic game theory. He is best known for his
invention of logics of proofs and justifications.
Contents
1 Research
2 Biography
3 Academic career
4 Awards
5 Selected bibliography
6 References
7 External links
Research[edit]
In the area of proof theory, Artemov established the impossibility of
finding a complete axiom system for first-order provability logic
(1985) and has pioneered studies of the logic of proofs. His major
accomplishments include the solution of a problem that was discussed
by Gödel in the 1930s: Artemov provided a provability semantics for
modal logic that also served as a formalization of the
Brouwer–Heyting–Kolmogorov provability semantics for
intuitionistic logic (1995). He later offered a general logical theory
of justification that renders a new, evidence-based foundation for
epistemic logic (2007–2008). The notion of justification has been an
essential element of epistemic studies since Plato, but was, prior to
Artemov's work, conspicuously absent in logical models of knowledge.
Artemov, along with researchers from Stanford and Cornell, initiated
studies of dynamic topological logic (1997) which has since become an
active research area with applications in control theory. In epistemic
game theory, he has offered a new, knowledge-based approach to
rationality (2009); this is currently a work in progress.
Biography[edit]
Sergei Artemov was born in Uralsk, USSR, now Kazakhstan, in 1951 to
Nikolai and Raisa Artemov, respectively a senior engineer and the
manager of a technical college. He graduated from Moscow University
with honors in 1975, going on to earn his
Ph.D.
Ph.D. in
Mathematics
Mathematics in
1980. His mentor at
Moscow University
Moscow University was Andrei Nikolaevich
Kolmogorov,[5] considered one of the greatest mathematicians of the
20th century.[citation needed]
Academic career[edit]
Artemov was a researcher at the Institute of Control Sciences in
Moscow from 1978–1980 and since 1980 has been a researcher at the
Steklov Mathematical Institute
Steklov Mathematical Institute (Moscow) where, in 1988, he completed
his
Doctor of Sciences degree. He has also been a faculty member at
the department of mathematics of
Moscow University
Moscow University since 1984,
becoming a full professor (1993) as well as the founder and head of a
laboratory of logical problems in computer science (1994). Artemov 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
City University of New York with affiliations in
computer science, mathematics, and philosophy.[6][7] 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.
Ph.D. dissertations.
Awards[edit]
Russian Presidential Fellowship for Outstanding Scientist, 1994
Spinoza Lecture, European Association for Logic, Language and
Information, 1999[8]
Clifford Lectures, 2002 [9]
Distinguished Lecture in Computer Science, the New York Academy of
Sciences, 2002
Gala lecture for the Kurt Goedel Society, Festsaal Rathaus Vienna,
2003[10]
Selected bibliography[edit]
1. S. Artemov and M. Fitting. "Justification Logic." The Stanford
Encyclopedia of
Philosophy
Philosophy (Fall 2011 Edition), Edward N. Zalta (ed.),
URL =
<http://plato.stanford.edu/archives/fall2011/entries/logic-justification/>
2. S. Artemov. "The Logic of Justification." The Review of Symbolic
Logic. v. 1, No. 4, pp. 477–513, 2008. (Abstract:
http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html#Art08RSL)
3. S. Artemov. "Epistemology: 5 Questions." Vincent F. Hendricks and
Duncan Pritchard, eds. Automatic Press/VIP 2008, pp. 11–19,
2008. (ISBN 8792130070)
4. S. Artemov. "Justified common knowledge." Theoretical Computer
Science, v. 357, pp. 4–22, 2006. (Abstract:
http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html#Art06TCS)
5. S. Artemov and E. Nogina. "Introducing justification into epistemic
logic." Journal of Logic and Computation. Oxford University Press, v.
15, No. 6, pp. 1059–1073, 2005. (Abstract:
http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html#ArtNog05JLC)
6. S. Artemov. "Explicit provability and constructive semantics." The
Bulletin of Symbolic Logic, v. 7, No.1, pp. 1–36, 2001.
(Abstract:
http://www.iam.unibe.ch/~kuznets/JLBibliography_abstracts.html#Art01BSL,
full article also available as a ps file at this link.)
7. S. Artemov, J. Davoren and A. Nerode. "Modal logics and topological
semantics for Hybrid Systems." Technical Report MSI 97-05, Cornell
University, 1997. (Full text available as a ps file at
http://www.cs.cornell.edu/Info/People/artemov/publ.html)
8. S. Artemov. "Operational modal logic." Technical Report MSI 95-29,
Cornell University, 1995. (Full text available as a ps file at
http://www.cs.cornell.edu/Info/People/artemov/publ.html)
9. S. Artemov. "Logic of Proofs." Annals of Pure and Applied Logic, v.
67, No. 2, pp. 29–59, 1994.
10. S. Artemov. "Non-arithmeticity of truth predicate logics of
provability." Soviet
Mathematics
Mathematics - Doklady, v. 32, No. 2,
pp. 403–405, 1985.
References[edit]
^ "Archived copy". Archived from the original on 2015-09-06. Retrieved
2011-12-02.
^ "Archived copy". Archived from the original on 2011-06-15. Retrieved
2011-12-02.
^ http://web.cs.gc.cuny.edu/~rllc/Seminar/seminar.html
^ Artemov's appointment in the New York Times
https://www.nytimes.com/2001/06/27/nyregion/bulletin-board.html
^ http://genealogy.math.ndsu.nodak.edu/id.php?id=83475
^ "Archived copy". Archived from the original on 2015-09-06. Retrieved
2011-12-02.
^ "Archived copy". Archived from the original on 2011-06-15. Retrieved
2011-12-02.
^ http://www.math.cornell.edu/News/MathMatters/MM_FA99.pdf
^ http://dauns.math.tulane.edu/~mfps/clifford.html
^ http://www.logic.at/csl03/giveabs.php?151
External links[edit]
Sergei N. Artemov's personal webpage:
http://web.cs.gc.cuny.edu/~sartemov
Sergei N. Artemov at the
Mathematics
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_217607bdb05653