Sergei N. Artemov

Full Professor in Mathematics and Computer Science, Moscow State University, 1993
Doctor of Sciences in Mathematics, USSR Academy of Sciences, 1988
Ph.D. in Mathematics, Moscow University/USSR Academy of Sciences, 1980
Diploma with Perfection in Mathematics, Moscow State University, 1975

A hundred and seven papers. For recent publications in English check selected publications list.

A keynote lecture for CLS'03, KGC'03, ESSLLI'03, Venna, 2003. ( ps, pdf)
50th birthday article
Distinguished Lecture in Computer Science at the New York Academy of Sciences, 2002
Clifford Lectures, 2002
Spinoza Lecture of 1999 from the European Association for Logic, Language and Information
Paper Operational Modal Logic commended for its excellence by the Committee on the IGPL/FoLLI Prize For the Best Idea of the Year, 1996
Award from the President of Russia "To Outstanding Scientist", 1994
Award for the best paper of the year from the Mathematical Institute of Russian Academy of Sciences, 1994
Award for the best paper of the year from the Mathematical Institute of USSR Academy of Sciences, 1986
Award for the best project of the year from the Optimal Control Institute of USSR Academy of Sciences, 1979
USSR National Olympiad (Eastern Conference): Gold Medal in mathematics, Silver Medal in physics, 1967