|
Department of Computer Science and
Telecommunications |
|
|
| Research |
|
|
Keywords for
papers published since 2000:
|
|
- algorithms
for Boolean satisfiability
- complexity
and expressiveness of database query languages
-
nonstandard models of computation (quantum computing, DNA
computing)
|
|
|
|
| Education
and experience |
|
|
Ph.D. in
Mathematics from Steklov
Institute of Mathematics, Russia. |
| M.S. in
Mathematics from St.
Petersburg State University, Russia. |
|
|
I
joined Department
of Computer Science and Telecommunications of Roosevelt
University in August 2001. My previous experience includes work
in IT industry and academic positions in:
|
|
- Laboratory
of Mathematical Logic, Steklov
Institute of Mathematics, St. Petersburg, Russia, 1993-2001;
- Computing
Science Department, Uppsala
University, Sweden, 1996-1999;
-
School of Computer
Science, The University
of Manchester, England, 1999-2001.
|
|