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
Awards
- 2010 cmu Award for Teaching Excellence
- 2006 National Science Foundation research grant
- 2005 USA State Department Fulbright Scholarship
Return to Faculty Directory
