Dmitrii V. (Dima) Pasechnik
October 2024
I am a Research Professor at the
Theory Group of Department of
Computer Science at Northwestern University, Evanston, IL, USA. I am
interested in mathematical foundations of computer algebra and symbolic
computing, in implementation of software for pure and applied mathematics, and
computer-aided verification of mathematics. On my more mathematical side I work
in real algebraic geometry, group theory, sums of squares and moment techniques in
nonlinear optimization and approximation algorithms, and combinatorics.
I am a member of the editorial board of
Journal of Software for Algebra and Geometry,
and an active contributor to SageMath and GAP computer algebra systems.
Under construction!
This page supports displayed TeX $$x^2$$
and inline TeX \(x^2\)
