Alexei P. Lisitsa

Postal

Computer Logic Laboratory of

Artificial Intelligence Research Center of

Program System Insitute of RAS

Botik, Pereslavl-Zalessky,

152140, Russia

+7 08535 98942 (o), +7 08535 20566 (fax)

Alexei P. Lisitsa has graduated in mathematics (mathematical logic) from Moscow State Universite in 1987 and since has been working in Program Systems Insitute of Russian Academy of Sciences. His PhD thesis in theoretical computer science entitled "On relationships between logical expressibility and computational complexity" was defenced by March of 1997 (Program System Institute of RAS). Currently he is senior researcher of Computer Logic laboratory.

Lisitsa's interests focus on applications of logic to computer science, including:

• bounded set theories and computability over sets
• descriptive complexity
• database theory
• finite-model theory
• logic for AI.