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[1] at the Graduate Center of the City University of New York[2] where he is the founder and head of its research laboratory for logic and computation.

The notion of justification has been an essential element of epistemic studies since Plato, but was, prior to Artemov's work, conspicuously absent in logical models of knowledge.

His mentor at Moscow University was Andrei Nikolaevich Kolmogorov,[5] considered one of the greatest mathematicians of the 20th century.

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