Biography
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, and the Russian Federation Award.
Together with Professor Robert Gilman Alexei created the Algebraic Cryptography Center at Stevens Institute. The center’s pioneering research has led to the creation of important new areas in mathematics and cryptology: the group-based cryptography and non-commutative cryptography.
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, manage homework and administer and grade quizzes for instructors. By changing how students learn calculus, Gradarius may well change the way calculus is taught in higher education. Along with Dr. Alex Myasnikov, Alexei is a recipient of the New Jersey Inventors Hall of Fame Award for Advancement of Innovation & Process.