www.wikidata.de-de.nina.az

Robert Brayton Robert King Brayton 23 Oktober 1933 in Des Moines Iowa ist ein US amerikanischer Informatiker Er ist beka

Robert Brayton

Robert King Brayton (* 23. Oktober 1933 in Des Moines, Iowa) ist ein US-amerikanischer Informatiker. Er ist bekannt für Forschungen und Entwicklungen in der Logiksynthese.

Brayton studierte Elektrotechnik an der Iowa State University mit dem Bachelor-Abschluss (BSEE) 1956. Danach war er 1956/57 Ingenieur bei Remington Rand Univac. 1952 bis 1961 war er Forschungsassistent für Künstliche Intelligenz im Massachusetts Institute of Technology, an dem er 1961 bei Norman Levinson in Mathematik promoviert wurde (On the Asymptotic Behavior of the Number of Trials Necessary to Complete a Set with Random Selection). Danach war er als Mathematiker am Thomas J. Watson Research Center von IBM, an dem er ab 1963 die Gruppe Differentialgleichungen und Numerische Analysis leitete und 1971/72 stellvertretender Direktor der Mathematikabteilung war. 1981 bis 1985 leitete er die Gruppe Logikdesign. Ab 1985 war er Gastprofessor und ab 1987 Professor für Elektrotechnik an der University of California, Berkeley.

Er ist Fellow der IEEE, der National Academy of Engineering und der American Association for the Advancement of Science.

Er veröffentlichte über Logiksynthese, formale Verifikationsmethoden, Simulation und Optimierung elektrischer Schaltkreise und Analyse nichtlinearer Netzwerke.

2006 erhielt er den Paris-Kanellakis-Preis, 2007 den Phil Kaufman Award und 2006 den IEEE Emanuel R. Piore Award. 1991 erhielt er den IEEE CAS Technical Achievement Award und 2000 die IEEE Millenium Medal und die CAS Golden Jubilee Medal.

Schriften Bearbeiten

  • mit G. D. Hachtel, Alberto L. Sangiovanni-Vincentelli: Invited Paper: Multilevel logic synthesis, Proc. IEEE, Band 78, 1990, S. 264–300
  • mit G. D. Hachtel, C. T. McMullen, A. L. Sangiovanni-Vincentelli: Logic Minimization Algorithms for VLSI Synthesis, The Kluwer International Series in Engineering and Computer Science, Band 2, Boston: Kluwer Academic Publishers, 1984
  • mit Saniovanni-Vincentelli, Rajeev Murgai: Logic synthesis for field programmable gate arrays, Kluwer 1995
  • mit Robert Spence: Sensitivity and Optimization, Elsevier 1980

Weblinks Bearbeiten

Einzelnachweise Bearbeiten

  1. Mathematics Genealogy Project
  2. IEEE Circuit and Systems Society
Personendaten
NAME Brayton, Robert
ALTERNATIVNAMEN Brayton, Robert King (vollständiger Name)
KURZBESCHREIBUNG US-amerikanischer Informatiker
GEBURTSDATUM 23. Oktober 1933
GEBURTSORT Des Moines, Iowa
wikipedia, wiki, deutsches, deutschland, buch, bücher, bibliothek artikel lesen, herunterladen kostenlos kostenloser herunterladen, MP3, Video, MP4, 3GP, JPG, JPEG, GIF, PNG, Bild, Musik, Lied, Film, Buch, Spiel, Spiele
Veröffentlichungsdatum:
Robert King Brayton 23 Oktober 1933 in Des Moines Iowa ist ein US amerikanischer Informatiker Er ist bekannt fur Forschungen und Entwicklungen in der Logiksynthese Brayton studierte Elektrotechnik an der Iowa State University mit dem Bachelor Abschluss BSEE 1956 Danach war er 1956 57 Ingenieur bei Remington Rand Univac 1952 bis 1961 war er Forschungsassistent fur Kunstliche Intelligenz im Massachusetts Institute of Technology an dem er 1961 bei Norman Levinson in Mathematik promoviert wurde On the Asymptotic Behavior of the Number of Trials Necessary to Complete a Set with Random Selection 1 Danach war er als Mathematiker am Thomas J Watson Research Center von IBM an dem er ab 1963 die Gruppe Differentialgleichungen und Numerische Analysis leitete und 1971 72 stellvertretender Direktor der Mathematikabteilung war 1981 bis 1985 leitete er die Gruppe Logikdesign Ab 1985 war er Gastprofessor und ab 1987 Professor fur Elektrotechnik an der University of California Berkeley Er ist Fellow der IEEE der National Academy of Engineering und der American Association for the Advancement of Science Er veroffentlichte uber Logiksynthese formale Verifikationsmethoden Simulation und Optimierung elektrischer Schaltkreise und Analyse nichtlinearer Netzwerke 2006 erhielt er den Paris Kanellakis Preis 2007 den Phil Kaufman Award und 2006 den IEEE Emanuel R Piore Award 1991 erhielt er den IEEE CAS 2 Technical Achievement Award und 2000 die IEEE Millenium Medal und die CAS Golden Jubilee Medal Schriften Bearbeitenmit G D Hachtel Alberto L Sangiovanni Vincentelli Invited Paper Multilevel logic synthesis Proc IEEE Band 78 1990 S 264 300 mit G D Hachtel C T McMullen A L Sangiovanni Vincentelli Logic Minimization Algorithms for VLSI Synthesis The Kluwer International Series in Engineering and Computer Science Band 2 Boston Kluwer Academic Publishers 1984 mit Saniovanni Vincentelli Rajeev Murgai Logic synthesis for field programmable gate arrays Kluwer 1995 mit Robert Spence Sensitivity and Optimization Elsevier 1980Weblinks BearbeitenHomepageEinzelnachweise Bearbeiten Mathematics Genealogy Project IEEE Circuit and Systems SocietyNormdaten Person GND 171988744 lobid OGND LCCN n79031222 VIAF 51841890 Wikipedia Personensuche PersonendatenNAME Brayton RobertALTERNATIVNAMEN Brayton Robert King vollstandiger Name KURZBESCHREIBUNG US amerikanischer InformatikerGEBURTSDATUM 23 Oktober 1933GEBURTSORT Des Moines Iowa Abgerufen von https de wikipedia org w index php title Robert Brayton amp oldid 223679500