Sergei N. Artemov
#43,041
Most Influential Person Now
Russian-American academic
Sergei N. Artemov's AcademicInfluence.com Rankings
Sergei N. Artemovphilosophy Degrees
Philosophy
#2243
World Rank
#3883
Historical Rank
#825
USA Rank
Mathematical Logic
#29
World Rank
#43
Historical Rank
#9
USA Rank
Logic
#730
World Rank
#1250
Historical Rank
#260
USA Rank
Download Badge
Philosophy Mathematics
Sergei N. Artemov's Degrees
- PhD Mathematics Moscow State University
Why Is Sergei N. Artemov Influential?
(Suggest an Edit or Addition)According to Wikipedia, Sergei Nikolaevich Artemov 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.
Other Resources About Sergei N. Artemov
What Schools Are Affiliated With Sergei N. Artemov?
Sergei N. Artemov is affiliated with the following schools:
