Computer Logic Laboratory

Computer Logic Laboratory was founded in 1991.

The laboratory belongs to the Artificial Intelligence Research Center , a division of the Program Systems Institute.

The laboratory is headed by Vladimir Yu. Sazonov ( The staff also includes :

Andrei G. Bondarenko
Senior researcher, Ph.D. in theoretical computer science
Alexander V. Leontjev
Alexei P. Lisitsa
Senior researcher
Irina A. Lomazova
Senior researcher, Ph.D. in mathematics
Yuri P. Serdyuk

Main areas of research are related to Logic in Computer Science and in particular to Bounded Set Theory (BST)

You can download some of our papers and preprints from our anonymous ftp directory.

Page is under construction

Questions and suggestions are wellcome to

This page has been visited [counter] times since May 22, 8, 1997.