Anatoli Degtyarev

Department of Computer Science
King's College London
Strand
London WC2R 2LS
United Kingdom

e-mail: Anatoli.Degtiarev at kcl dot ac dot uk

fax:    +44 20 7873 2851
room:   S4.02

Research interests

Automated Deduction and Equality Reasoning
Logic Programming and Deductive Databases
Mechanizing First-Order Temporal Logics

Recent publications

Education and Experience

Diploma with Honours in Mathematics from Lomonosov Moscow State University, Moscow.
Ph.D. in Mathematical Cybernetics from Glushkov Institute of Cybernetics NAS Ukraine, Kiev.

I joined Department of Computer Science of King's College London in August 2002.
My previous experience includes working in academic positions in:

Department of Computer Science, University of Liverpool , UK, 2001-2002.
Department of Computing and Mathematics, Manchester Metropolitan University , UK, 1999-2001.
Department of Computer Science, University of Manchester, UK, 1999.
Computing Science Department, Uppsala University, Sweden, 1994-1999;
Faculty of Cybernetics, National Taras Shevchenko University of Kyiv, Ukraine, 1987-1995

Maintained by Anatoli Degtyarev, anatoli@dcs.kcl.ac.uk.