Anton Leykin conducts research in nonlinear algebra with an emphasis on algorithm design and applications. His recent work centers on computer algebra, spanning topics from computer-assisted proofs to hybrid symbolic–numerical computation to parallel computing. He is also interested in applying methods from algebra and geometry to problems in science and engineering, with applications in areas such as computer vision and astrodynamics.