Sergei N. 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.
Scroll Down and find everything about the Sergei N. Artemov you need to know, latest relationships update, Family and how qualified he is. Sergei N. Artemov’s Estimated Net Worth, Age, Biography, Career, Social media accounts i.e. Instagram, Facebook, Twitter, Family, Wiki. Also, learn details Info regarding the Current Net worth of Sergei N. Artemov as well as Sergei N. Artemov ‘s earnings, Worth, Salary, Property, and Income.
Sergei N. Artemov, better known by the Family name Sergei Nikolaevich Artemov, is a popular Creator, TV, Film. he was born on December 25, 1951, in Uralsk, USSR