James Benjamin Saxe es un científico informático estadounidense que ha trabajado durante muchos años en el Centro de Investigación de Sistemas DEC [1] y sus sucesores, el Centro de Investigación de Sistemas Compaq y el Centro de Investigación de Sistemas de HP Labs .
Saxe es conocido por sus publicaciones altamente citadas sobre demostración automatizada de teoremas , [DNS] complejidad de circuitos , [FSS] resincronización en diseño de circuitos síncronos , [LS] redes de computadoras , [AOS] y análisis de programas estáticos . [FLL] Su trabajo sobre análisis de programas de PLDI 2002 ganó el premio al artículo más influyente de PLDI en 2012. [2] Además, es uno de los autores del teorema maestro para las recurrencias de divide y vencerás . [BHS]
Mientras era estudiante de secundaria, Saxe ganó la Olimpiada de Matemáticas de los Estados Unidos de América . [3] En 1974, como estudiante en el Union College , Saxe participó en la Competencia de Matemáticas William Lowell Putnam ; su lugar entre los cinco primeros puntajes le valió una beca Putnam. [4] Se graduó en el Union College en 1976, [3] y obtuvo su doctorado en 1985 en la Universidad Carnegie Mellon , bajo la supervisión de Jon Bentley . [5]