Mark Sapir

Mark Sapir (born February 12, 1957) is a U.S. and Russian mathematician working in geometric group theory, semigroup theory and combinatorial algebra. He is a Centennial Professor of Mathematics in the Department of Mathematics at Vanderbilt University.
Biographical and professional information.
Sapir received his undergraduate degree in mathematics (diploma of higher education) from the Ural State University in Yekaterinburg (then called Sverdlovsk), Russia, in 1978. He received his PhD in mathematics (Candidate of Sciences) degree, joint from the Ural State University and Moscow State Pedagogical Institute in 1983, with Lev Shevrin as the advisor.
Afterwards Sapir has held faculty appointments at the Ural State University, , University of Nebraska at Lincoln, before coming as a professor of mathematics to Vanderbilt University in 1997. He was appointed a Centennial Professor of Mathematics at Vanderbilt in 2001.
Sapir gave an invited talk at the International Congress of Mathematicians in Madrid in 2006. He gave an AMS Invited Address at the American Mathematical Society Sectional Meeting in Huntsville, Alabama in October 2008. He gave a plenary talk at the December 2008 Winter Meeting of the Canadian Mathematical Society. Sapir gave the 33d William J. Spencer Lecture at the Kansas State University in November 2008. He gave the 75th KAM Mathematical Colloquium lecture at the Charles University in Prague in June 2010.
Sapir became a member of the inaugural class of Fellows of the American Mathematical Society in 2012.
Sapir founded the "Journal of Combinatorial Algebra", published by the European Mathematical Society, and has served as its founding editor-in-chief since 2016. He is also currently an editorial board member for the journals Groups, Complexity, Cryptology and Algebra and Discrete Mathematics. His past editorial board positions include Journal of Pure and Applied Algebra, Groups, Geometry, and Dynamics, Algebra Universalis, and International Journal of Algebra and Computation (as Managing Editor).
A special mathematical conference in honor of Sapir's 60th birthday took place at the University of Illinois at Urbana–Champaign in May 2017.
Mark Sapir's elder daughter, Jenya Sapir, is also a mathematician, she was Maryam Mirzakhani's first (out of two) students. Currently, she is an assistant professor in the Department of Mathematics of Binghamton University.
Mark Sapir and his wife Olga Sapir became naturalized U.S. citizens in July 2003, after suing the BCIS in federal court over a multi-year delay of their citizenship application originally filed in 1999.
Mathematical contributions.
Sapir's early mathematical work concerns mostly semigroup theory.
In geometric group theory his most well-known and significant results are obtained in two papers published in the Annals of Mathematics in 2002, the first joint with Jean-Camille Birget and Eliyahu Rips, and the second joint with Birget, Rips and Aleksandr Olshansky. The first paper provided an essentially complete description of all the possible growth types of Dehn functions of finitely presented groups. The second paper proves that a finitely presented group has the word problem solvable in non-deterministic polynomial time (NP) if and only if this group embeds as a subgroup of a finitely presented group with polynomial Dehn function. A combined featured review of these two papers in Mathematical Reviews characterized them as ``remarkable foundational results regarding isoperimetric functions of finitely presented groups and their connections with the complexity of the word problem".
Sapir is also known for his work, mostly joint with Cornelia Drutu, on developing the asymptotic cone approach to the study of relatively hyperbolic groups.
A 2002 paper of Sapir and Olshansky constructed the first known finitely presented counter-examples to the Von Neumann conjecture.
Sapir also introduced, in a 1993 paper with Meakin, the notion of a diagram group, based on finite semigroup presentations. He further developed this notion in subsequent joint papers with Guba. Diagram groups provided a new approach to the study of Thompson groups, which appear as important examples of diagram groups.