Sergei N. Artemov
Sergei Nikolaevich Artemov (Russian: Сергей Николаевич Артемов) | |
|---|---|
Sergei Nikolaevich Artemov at Association of Symbolic Logic Pittsburgh, May 2004 | |
| Born | December 25, 1951 |
| Alma mater | Ph.D 1980 Moscow University D.Sc. 1988 Steklov Mathematical Institute |
| Scientific career | |
| Fields | Computer Science Mathematics Philosophy |
| Institutions | Graduate Center of the City University of New York Cornell University Moscow University Steklov Mathematical Institute |
| Doctoral advisor | Andrei Nikolayevich Kolmogorov |
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.