Sergei Artemov is Distinguished Professor at the City University of New York. He is a specialist in mathematical logic, logic in computer science, control theory, epistemology, and game theory. He is credited with solving long-standing problems in constructive logic that had been left open by Goedel and Kolmogorov since the 1930s. He has pioneered studies in the logic of proofs and justifications that renders a new, evidence-based theory of knowledge and belief. The most recent focus of his interests is epistemic foundations of game theory.
