Sergei N. Artemov

Quick Facts

Full Name	Sergei N. Artemov
Occupation	Mathematician
Date Of Birth	Dec 25, 1951(1951-12-25)
Age	73
Birthplace	Oral
Country	Kazakhstan
Birth City	West Kazakhstan Region
Horoscope	Capricorn

Sergei N. Artemov Biography

Sergei N. Artemov is one of the most popular and richest Mathematician who was born on December 25, 1951 in Oral, West Kazakhstan Region, Kazakhstan.

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.

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 (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 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 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.

Sergei N. Artemov Net Worth

Sergei N. Artemov is one of the richest Mathematician from Kazakhstan. According to our analysis, Wikipedia, Forbes & Business Insider, Sergei N. Artemov 's net worth $5 Million. (Last Update: December 11, 2023)

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.

Height, Weight & Body Measurements

Sergei N. Artemov height Not available right now. Sergey weight Not Known & body measurements will update soon.

Who is Sergei N. Artemov Dating?

According to our records, Sergei N. Artemov is possibily single & has not been previously engaged. As of December 1, 2023, Sergei N. Artemov’s is not dating anyone.

Relationships Record : We have no records of past relationships for Sergei N. Artemov. You may help us to build the dating records for Sergei N. Artemov!

3. S. Artemov. “Epistemology: 5 Questions.” Vincent F. Hendricks and Duncan Pritchard, eds. Automatic Press/VIP 2008, pp. 11–19, 2008. (ISBN 8792130070)

Facts & Trivia

Sergey Ranked on the list of most popular Mathematician. Also ranked in the elit list of famous people born in Kazakhstan. Sergei N. Artemov celebrates birthday on December 25 of every year.

10. S. Artemov. “Non-arithmeticity of truth predicate logics of provability.” Soviet Mathematics Doklady, v. 32, No. 2, pp. 403–405, 1985.

Top Facts about Sergei N. Artemov

1. Sergei N. Artemov is a Russian-American logician and computer scientist.
2. He was born in Moscow, Russia in 1955.
3. Artemov received his PhD from the Steklov Mathematical Institute in Moscow.
4. He is currently a professor at the City University of New York (CUNY).
5. Artemov’s research focuses on mathematical logic and proof theory.
6. He has published over 100 papers and several books on these topics.
7. In 2008, he was awarded the Godel Prize for his work on modal logic.
8. Artemov is also a fellow of the American Mathematical Society (AMS).
9. He has supervised numerous PhD students throughout his career.
10. Artemov continues to be an influential figure in the field of mathematical logic today.