James B. Saxe
id:
james-b-saxe-193-14020681
title:
James B. Saxe
text:
James Benjamin Saxe is an American computer scientist who has worked for many years at the DEC Systems Research Center 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,[DNS]
circuit complexity,[FSS]
retiming in synchronous circuit design,[LS]
computer networks,[AOS]
and static program analysis.[FLL]
His work on program analysis from PLDI 2002 won the Most Influential PLD
brand slug:
wiki
category slug:
encyclopedia
description:
American computer scientist
original url:
https://en.wikipedia.org/wiki/James_B._Saxe
date created:
date modified:
2024-01-11T06:30:11Z
main entity:
{"identifier":"Q30321721","url":"https://www.wikidata.org/entity/Q30321721"}
image:
fields total:
13
integrity:
14