Yevgeny Kazakov: Curriculum Vitae

Positions

November 2005 - present: Research Associate at the Information Management Group, of the University of Manchester, funded by an EPSRC project REOL.
October 2001 - October 2005: Ph. D. student at the the Max-Planck-Institut für Informatik, Saarbrücken, Germany. Scholarship was provided by the International Max Planck Research School for Computer Science (IMPRS).

Education

March 2006: Dr.-Ing. (~Ph.D.) in Computer Science from the Universität des Saarlandes, Saarbrücken Ph.D. thesis: "Saturation-Based Decision Procedures for Extensions of the Guarded Fragment" [Pdf (2M)], Grade: magna cum laude.
October 2001 - October 2005: Ph.D. student in Computer Science at the Universität des Saarlandes, Saarbrücken, Germany and the Max-Planck-Institut für Informatik, Germany. Advisors: Dr. Hans de Nivelle and Prof. Dr. Gert Smolka [Prof. Dr. Harald Ganzinger († June 3, 2004)]
September 1999 - May 2002: Ph. D. student in Mathematics at the Moscow State University, Russia. Advisors: Prof. Sergei N. Artemov and Prof. Vladimir A. Uspensky.
June 1999: Diploma (~ M.Sc.) in Mathematics with Honours from the Moscow State University, GPA:5.0 (best possible). Diploma thesis: "Logic of Proofs for S5" [Pdf (254K)], Grade: 5 (best).
September 1996 - June 1999: Student at the Department of Mathematical Logic and Theory of Algorithms, Moscow State University, Russia. Advisors: Prof. Sergei N. Artemov and Prof. Vladimir N. Krupski.
September 1994 - June 1999: Student at the Mechanics Mathematical Faculty, Moscow State University, Russia.
September 1990 - June 1994: Hight School: specialised Physics & Math Lyceum No.31 in Chelyabinsk, Russia