Alexei Miasnikov

Distinguished Professor

Stevens Institute of Technology

Alexei Miasnikov is a Distinguished Research Professor of the Department of Mathematics at Stevens Institute of Technology. A world-class mathematician and a leading international expert in geometric and algorithmic group theory, model theory, computer science and cryptography, Alexei is the recipient of numerous awards and honors. In 2012, he was selected as an Inaugural Fellow of the American Mathematical Society for his outstanding portfolio of research contributions to the Mathematical Sciences. For his research on model theory of groups Alexei was invited to speak at the 2014 International Congress of Mathematicians (a major professional honor).In 2016, Alexei received the prestigious Malcev Prize from the Russian Academy of Sciences for his lifetime achievements, particularly his solution for Tarski’s problem on the elementary theory of free groups, a major challenger in mathematics during the last 75 years. His other international honors and awards include the Microsoft Research Fellow Award, the Marsden Fund Award, numerous NSF awards and is the former Canada Research Chair at McGill University.Alexei together with his colleagues at the Department of Mathematics revolutionized the way college students learn calculus. They developed Stevens Calculus System, which attracted attention of many universities in USA. The core of the system is Gradarius, the calculus software platform, it is the world’s first calculus-learning software to give step-by-step feedback,