James Benjamin Saxe est un informaticien théoricien américain, spécialiste en analyse des algorithmes, spécification et vérification, et qui a travaillé longtemps au Centre de recherche de DEC et ses successeurs, le centre de recherche de Compaq et le centre de recherche de Hewlett-Packard , toujours situés à Palo Alto.
Études Lauréat des , Saxe participe, quand il est étudiant au Union College, à la William Lowell Putnam Mathematical Competition et, en tant que l'un des cinq premiers classés, il obtient une bourse Putnam. Il est diplômé due Union College en 1976 et obtient un Ph. D. en 1985 à l'Université Carnegie-Mellon, sous la supervision de Jon Louis Bentley, avec une thèse intitulée .
Travaux Saxe est connu pour ses contribution en démonstration automatique de théorèmes, complexité des circuits, conception de circuits synchrones et retiming, réseaux informatiques, et static program analysis. Ses travaux théoriques se situent principalement dans la période 1980-2000. De cette époque date aussi l'article sur le Master theorem dont il est l'un des trois coauteurs, avec Jon Bentley et Dorothea Blostein.
L'article sur l'analyse statique de programme Java de 2002 au colloque PDLI () dont il ex coauteur a obtenu le prix de l’article le plus influent (Most Influential PLDI Paper Award) en 2012.
Publications (sélection)
Références
Catégorie:Date de naissance non renseignée (XXe siècle) Catégorie:Personnalité américaine de l'informatique Catégorie:Élève de l'Union College Catégorie:Étudiant de l'université Carnegie-Mellon