Professor of Computer Science Practice
Education
- 1987, Doctoral Degree, Belorusian State University
Research Summary
Computational mathematics, computer algebra, experimental mathematics, pen-based computing, discrete mathematics, analysis of algorithms, automated theorem Proving
Return to Faculty Directory
