Vladimir Sazonov


Department of Computer Science
University of Liverpool
Ashton Building,
Ashton Street
L69 3BX
United Kingdom
Sazonov at liverpool ac uk
Phone: (+44) (0)151 795-4270
Fax: (+44) (0)151 795-4235
Office: 113


PhD, Novosibirsk University and Institute of Mathematics of Russian Acad. of Sci., 1979.

Research interests:

My interests focus on applications of logic to computer science, including:

I am currently working on Bounded Set Theory and computability over sets thereby developing a set theoretic approach to querying (nested, complex) databases, in particular Web like (semi structured) databases by using an anti-founded version of BST with the possibility of arbitrary cycling in the membership relation. The latter roughly corresponding to hyper-links between Web-pages. This is also related to descriptive complexity and finite model theory. E.g., the typical result says that queries definable in a set theoretic language are exactly those computable in polynomial time.

My other interests concern bounded and feasible arithmetic, including intuitionistic one (with corresponding realizability approach). Formerly I worked and still am interested in lambda calculus, domain theory, sequentiality and degrees of parallelism for finite type continuous functionals.

Papers and Publications


Projects for third year students and MSc students

Greenwich Mean Time (GMT)