Sergei Artemov is a noted specialist in mathematical logic and theoretical computer science. His areas of expertise are proof theory, knowledge representation, and automatic deduction and verification. He is credited with solving some long-standing problems in logic and applications. His recent projects include a theory of evidence-based knowledge, automatic detection of flaws in proofs, a process that is used to help ensure that critical software is free of errors. Professor Artemov earned his Ph.D. from Moscow State University, and he came from there to The Graduate Center by way of a visiting professorship at Cornell from 1996 to 2001. Among his many honors are the President of Russia's 1994 Outstanding Scientist award, the 1999 Spinoza Lecture for the European Association for Logic, Language, and Information, the 2002 Distinguished Lecture in Computer Science at the New York Academy of Sciences, and the 2002 Clifford Lecture at Tulane University. In 2003 he gave a special lecture in Vienna City Hall by joint invitation from three symposia on Logic in Computer Science.