Jin-Yi Cai ( chino :蔡进一; nacido en 1961) es un matemático e informático chino-estadounidense . Es profesor de informática y también profesor Steenbock de ciencias matemáticas [1] en la Universidad de Wisconsin-Madison . Su investigación se centra en la informática teórica , especialmente en la teoría de la complejidad computacional . En los últimos años se ha concentrado en la clasificación de problemas de conteo computacional , especialmente contando homomorfismos de gráficos , contando problemas de satisfacción de restricciones y problemas de Holant relacionados con algoritmos holográficos .
Cai nació en Llevar a la fuerza, China . Estudió matemáticas en la Universidad de Fudan y se graduó en 1981. Obtuvo una maestría en la Universidad de Temple en 1983, una segunda maestría en la Universidad de Cornell en 1985, [2] y su doctorado. de Cornell en 1986, con Juris Hartmanis como su asesor doctoral . [3]
Se convirtió en miembro del cuerpo docente de la Universidad de Yale (1986-1989), la Universidad de Princeton (1989-1993) y SUNY Buffalo (1993-2000), ascendiendo de profesor asistente a profesor titular en 1996. Se convirtió en profesor de Ciencias de la Computación en la Universidad de Wisconsin-Madison en 2000. [2]
Cai fue un joven investigador presidencial , becario de investigación Sloan , [4] y becario Guggenheim . [5] Recibió una medalla de plata Morningside y un premio de investigación Humboldt para científicos estadounidenses de alto nivel. [2] Recibió conjuntamente el Premio Gödel en 2021, un premio en informática teórica por su trabajo en el artículo titulado: Complexity of Counting CSP with Complex Weights. [6] También recibió el Premio Fulkerson en Matemáticas Discretas otorgado por la Sociedad Matemática Estadounidense y la Sociedad de Programación Matemática. [7]
Fue elegido miembro de la Association for Computing Machinery (2001), de la Asociación Estadounidense para el Avance de la Ciencia (2007) y miembro extranjero de la Academia Europaea (2017). [2] Fue nombrado miembro de la promoción de 2023 de becarios de la Sociedad Estadounidense de Matemáticas , "por sus contribuciones a la teoría de la complejidad computacional, especialmente en las áreas de dicotomía de la complejidad". [8]