Robert Brayton

from Wikipedia, the free encyclopedia

Robert King Brayton (born October 23, 1933 in Des Moines , Iowa ) is an American computer scientist . He is known for research and development in logic synthesis.

Brayton studied electrical engineering at Iowa State University with a bachelor's degree (BSEE) in 1956. He was then an engineer at Remington Rand Univac in 1956/57 . From 1952 to 1961 he was research assistant for artificial intelligence at the Massachusetts Institute of Technology , where he received his doctorate in mathematics under Norman Levinson in 1961 ( On the Asymptotic Behavior of the Number of Trials Necessary to Complete a Set with Random Selection ). He then served as a mathematician at the Thomas J. Watson Research Center of IBM was where in 1963 he led the group differential equations and numerical analysis and 1971/72 deputy director of the Mathematics Department. 1981 to 1985 he headed the logic design group. From 1985 he was visiting professor and from 1987 professor of electrical engineering at the University of California, Berkeley .

He is a Fellow of the IEEE , the National Academy of Engineering, and the American Association for the Advancement of Science .

He has published on logic synthesis, formal verification methods, simulation and optimization of electrical circuits, and analysis of nonlinear networks.

In 2006 he received the Paris Kanellakis Prize , in 2007 the Phil Kaufman Award and in 2006 the IEEE Emanuel R. Piore Award . In 1991 he received the IEEE CAS Technical Achievement Award and in 2000 the IEEE Millennium Medal and the CAS Golden Jubilee Medal.

Fonts

  • with GD Hachtel, Alberto L. Sangiovanni-Vincentelli: Invited Paper: Multilevel logic synthesis , Proc. IEEE, Vol. 78, 1990, pp. 264-300
  • with GD Hachtel, CT McMullen, AL Sangiovanni-Vincentelli: Logic Minimization Algorithms for VLSI Synthesis , The Kluwer International Series in Engineering and Computer Science, Volume 2, Boston: Kluwer Academic Publishers, 1984
  • with Saniovanni-Vincentelli, Rajeev Murgai: Logic synthesis for field programmable gate arrays , Kluwer 1995
  • with Robert Spence: Sensitivity and Optimization , Elsevier 1980

Web links

Individual evidence

  1. ^ Mathematics Genealogy Project
  2. ^ IEEE Circuit and Systems Society
personal data
SURNAME Brayton, Robert
ALTERNATIVE NAMES Brayton, Robert King (full name)
BRIEF DESCRIPTION American computer scientist
DATE OF BIRTH October 23, 1933
PLACE OF BIRTH Des Moines , Iowa