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)