Sergei N. Artemov, Date of Birth
TweetSergei N. Artemov
Russian-American academic
Date of Birth: 25-Dec-1951
Profession: mathematician
Nationality: United States
Zodiac Sign: Capricorn 
About Sergei N. Artemov
- 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.
Read more at Wikipedia