James Benjamin Saxe is an American computer scientist who has worked for many years at the

DEC Systems Research Center The Systems Research Center (SRC) was a research laboratory created by Digital Equipment Corporation (DEC) in 1984, in Palo Alto, California. DEC SRC was founded by a group of computer scientists, led by Robert Taylor, who left the Computer ...

and its successors, the Compaq Systems Research Center and the Systems Research Center of HP Labs. Saxe is known for his highly-cited publications on

automated theorem proving Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a ma ...

circuit complexity In theoretical computer science, circuit complexity is a branch of computational complexity theory in which Boolean functions are classified according to the size or depth of the Boolean circuits that compute them. A related notion is the circui ...

retiming Retiming is the technique of moving the structural location of latches or registers in a digital circuit to improve its performance, area, and/or power characteristics in such a way that preserves its functional behavior at its outputs. Retiming ...

synchronous circuit In digital electronics, a synchronous circuit is a digital circuit in which the changes in the state of memory elements are synchronized by a clock signal. In a sequential digital logic circuit, data are stored in memory devices called flip-f ...

design,

computer network A computer network is a set of computers sharing resources located on or provided by network nodes. The computers use common communication protocols over digital interconnections to communicate with each other. These interconnections are ...

s, and

static program analysis In computer science, static program analysis (or static analysis) is the analysis of computer programs performed without executing them, in contrast with dynamic program analysis, which is performed on programs during their execution. The term ...

. His work on program analysis from PLDI 2002 won the Most Influential PLDI Paper Award for 2012. In addition, he is one of the authors of the master theorem for divide-and-conquer recurrences. While a high school student, Saxe won the

United States of America Mathematical Olympiad The United States of America Mathematical Olympiad (USAMO) is a highly selective high school mathematics competition held annually in the United States. Since its debut in 1972, it has served as the final round of the American Mathematics Compe ...

. In 1974, as a student at

Union College Union College is a private liberal arts college in Schenectady, New York. Founded in 1795, it was the first institution of higher learning chartered by the New York State Board of Regents, and second in the state of New York, after Columbia Co ...

, Saxe took part in the

William Lowell Putnam Mathematical Competition The William Lowell Putnam Mathematical Competition, often abbreviated to Putnam Competition, is an annual mathematics competition for undergraduate college students enrolled at institutions of higher learning in the United States and Canada (regar ...

; his place in the top five scores earned him a Putnam Fellowship. He graduated from Union College in 1976,, and earned his Ph.D. in 1985 from Carnegie Mellon University, under the supervision of Jon Bentley.

Selected publications

References

{{DEFAULTSORT:Saxe, James B. Year of birth missing (living people) Living people American computer scientists Union College (New York) alumni Carnegie Mellon University alumni Putnam Fellows Scientists from New York (state)