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
researcher, Ph.D. in theoretical computer science
- Alexander V. Leontjev
Alexei P. Lisitsa
- 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 times since May 22,