Paul Eugene Schupp (nacido el 12 de marzo de 1937) es profesor emérito de matemáticas en la Universidad de Illinois en Urbana Champaign . Es conocido por sus contribuciones a la teoría de grupos geométricos , la complejidad computacional y la teoría de la computabilidad . [1]
Junto con Roger Lyndon , es coautor del libro "Teoría de grupos combinatorios", que proporcionó una descripción completa del tema de la Teoría de grupos combinatorios, comenzando con el trabajo de Dehn en la década de 1910 y hasta finales de la década de 1970 y sigue siendo un estándar moderno para el tema. de la teoría de la pequeña cancelación . [1] A partir de la década de 1980, trabajó en problemas que exploraban las conexiones entre la teoría de grupos y la informática y la teoría de la complejidad . Junto con David Muller , demostró que un grupo G generado finitamente tiene un problema verbal independiente del contexto si y solo si G es virtualmente libre , lo que ahora se conoce como teorema de Muller-Schupp . [2]
En 1977, Schupp recibió una beca Guggenheim . En 2012, fue nombrado miembro inaugural de la American Mathematical Society . En 2017, se organizó la conferencia "Grupos y computación" en el Stevens Institute of Technology para celebrar las contribuciones matemáticas de Paul Schupp. [3]