The Zolt-Gilburne Faculty Seminar

Distinguished Professor of Computer Science, Mathematics/Philosophy at the CUNY Graduate Center
sartemov@gc.cuny.edu
212-817-8661

Sergei Artemov is widely regarded as one of the most influential and important researchers in the field of logic in computer science, Professor Artemov has taught since 1984 at Moscow State University where he founded and directed the renowned Local Problems of Computer Science Laboratory. He is currently Visiting Professor at the Mathematical Sciences Institute at Cornell University and has taught at leading universities worldwide.  Among Professor Artemov’s most significant achievements are his solutions of both the Godel and the Brouwer-Heyting-Kolmogorov problems. His mentor was Andrei Kolmogorov, the founder of modern probability theory, considered one of the greatest mathematicians of the 20th Century. He has won many scholarly awards, including the Russian Presidential Medal, and has published more than 80 research papers. He has also edited the leading journals in his field and has been invited to deliver several major addresses, including the 1999 Spinoza Lecture for the European Association for Logic, Language and Information, and the 2002 Clifford Lectures.  He earned a Diploma with Perfection in Mathematics from Moscow State University and a Ph.D. in Mathematics and Doctor of Sciences in Mathematics from the USSR Academy of Sciences.