# Vladimir Sazonov

## Address

Department of Computer Science

University of Liverpool

Ashton Building,

Ashton Street

Liverpool

L69 3BX

United Kingdom

Sazonov at liverpool ac uk

Phone: (+44) (0)151 795-4270

Fax: (+44) (0)151 795-4235

Office: 113
## Qualifications

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.

Greenwich Mean Time (GMT)