Sergei N. Artemov
| Sergei Nikolaevich Artemov (Russian: Сергей Николаевич Артемов) | |
|---|---|
| Born |
December 25, 1951 Uralsk, USSR |
| Fields |
Computer Science Mathematics Philosophy |
| Institutions |
City University of New York, Graduate Center Cornell University Moscow University Steklov Mathematical Institute |
| Alma mater | Ph.D 1980 Moscow University, D.Sc. 1988 Steklov Mathematical Institute |
| Doctoral advisor | Andrei Nikolayevich Kolmogorov |
| Doctoral students |
Lev Beklemishev Yegor Bryukhov Giorgi Japaridze Roman Kuznets Pavel Naumov Bryan Renne Tatiana Yavorskaya Rostislav Yavorskiy |
| Known for |
Justification Logic Provability logic |
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 at the Graduate Center of the City University of New York where he is the founder and head of its research laboratory for logic and computation. 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.
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.
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. in Mathematics in 1980. His mentor at Moscow University was Andrei Nikolaevich Kolmogorov, considered one of the greatest mathematicians of the 20th century.
...
Wikipedia