www.wikidata.de-de.nina.az

Randal Bryant Randal E Bryant 27 Oktober 1952 ist ein US amerikanischer Informatiker 2006 Leben BearbeitenBryant wuchs i

Randal Bryant

Randal E. Bryant (* 27. Oktober 1952) ist ein US-amerikanischer Informatiker.

Randal Bryant (2006)

Leben Bearbeiten

Bryant wuchs in Birmingham (Michigan) auf und studierte ab 1970 an der University of Michigan mit dem Bachelor-Abschluss in Angewandter Mathematik 1973 und ab 1974 am Massachusetts Institute of Technology, an dem er 1981 bei Jack B. Dennis promoviert wurde (A Switch-Level Simulation Model of Integrated Logic Circuits). Als Post-Doktorand war er Assistant Professor am Caltech. Seit 1984 lehrt er an der Carnegie Mellon University (zunächst als Assistant Professor, 1987 als Associate Professor und ab 1992 als Professor), wo er 1999 bis 2004 die Fakultät für Informatik leitete und seit 2004 Dekan der School of Computer Science ist.

1990/91 war er Gastwissenschaftler an den Fujitsu Laboratories in Kawasaki, Japan.

Er ist bekannt für Systeme zur formalen Verifikation digitaler Hardware. Eine Arbeit von 1986 über formale Manipulation Boolescher Funktionen in Form von binären Entscheidungsdiagrammen gehört zu den meistzitierten Arbeiten in der Informatik überhaupt. Er entwickelte auch Verifikationsmethoden über Simulationsprogramme von Hardware auf unterschiedlichen Abstraktionsebenen.

1998 erhielt er den Paris-Kanellakis-Preis, 2009 den Phil Kaufman Award und 2007 den IEEE Emanuel R. Piore Award. Er ist Fellow der IEEE, der Association for Computing Machinery (ACM), der National Academy of Engineering (2003) und der American Academy of Arts and Sciences (2010).

1989 bis 1995 war er Associate Editor und 1995 bis 1997 war er Herausgeber von IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Schriften Bearbeiten

  • mit Dave O´Hallaron Computer Systems: A programmer´s perspective, 2003, 2. Auflage, Prentice-Hall 2011
  • mit C. Meinel Ordered binary decision diagrams, in S. Hassoun, T. Sasao (Herausgeber) Logic Synthesis and Verification, Kluwer 2001
  • Bryant Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, C-35, 1986, S. 677–691
    • Nachgedruckt in M. Yoeli Formal verification in Hardware Design, IEEEComputer Society Press 1990, S. 253–267
  • Bryant Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams, ACM Computing Surveys, Band 24, 1992, S. 293–318
  • mit J. H. Kukula Formal Methods for Functional Verification, in A. Kuehlmann (Herausgeber) The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design, Kluwer 2003, S. 3–16

Weblinks Bearbeiten

Personendaten
NAME Bryant, Randal
ALTERNATIVNAMEN Bryant, Randal E.
KURZBESCHREIBUNG US-amerikanischer Informatiker
GEBURTSDATUM 27. Oktober 1952
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:
Randal E Bryant 27 Oktober 1952 ist ein US amerikanischer Informatiker Randal Bryant 2006 Leben BearbeitenBryant wuchs in Birmingham Michigan auf und studierte ab 1970 an der University of Michigan mit dem Bachelor Abschluss in Angewandter Mathematik 1973 und ab 1974 am Massachusetts Institute of Technology an dem er 1981 bei Jack B Dennis promoviert wurde A Switch Level Simulation Model of Integrated Logic Circuits Als Post Doktorand war er Assistant Professor am Caltech Seit 1984 lehrt er an der Carnegie Mellon University zunachst als Assistant Professor 1987 als Associate Professor und ab 1992 als Professor wo er 1999 bis 2004 die Fakultat fur Informatik leitete und seit 2004 Dekan der School of Computer Science ist 1990 91 war er Gastwissenschaftler an den Fujitsu Laboratories in Kawasaki Japan Er ist bekannt fur Systeme zur formalen Verifikation digitaler Hardware Eine Arbeit von 1986 uber formale Manipulation Boolescher Funktionen in Form von binaren Entscheidungsdiagrammen gehort zu den meistzitierten Arbeiten in der Informatik uberhaupt Er entwickelte auch Verifikationsmethoden uber Simulationsprogramme von Hardware auf unterschiedlichen Abstraktionsebenen 1998 erhielt er den Paris Kanellakis Preis 2009 den Phil Kaufman Award und 2007 den IEEE Emanuel R Piore Award Er ist Fellow der IEEE der Association for Computing Machinery ACM der National Academy of Engineering 2003 und der American Academy of Arts and Sciences 2010 1989 bis 1995 war er Associate Editor und 1995 bis 1997 war er Herausgeber von IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems Schriften Bearbeitenmit Dave O Hallaron Computer Systems A programmer s perspective 2003 2 Auflage Prentice Hall 2011 mit C Meinel Ordered binary decision diagrams in S Hassoun T Sasao Herausgeber Logic Synthesis and Verification Kluwer 2001 Bryant Graph Based Algorithms for Boolean Function Manipulation IEEE Transactions on Computers C 35 1986 S 677 691 Nachgedruckt in M Yoeli Formal verification in Hardware Design IEEEComputer Society Press 1990 S 253 267 Bryant Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams ACM Computing Surveys Band 24 1992 S 293 318 mit J H Kukula Formal Methods for Functional Verification in A Kuehlmann Herausgeber The Best of ICCAD 20 Years of Excellence in Computer Aided Design Kluwer 2003 S 3 16Weblinks BearbeitenHomepage englisch Normdaten Person GND 1089505965 lobid OGND AKS LCCN n83045463 VIAF 7990812 Wikipedia Personensuche PersonendatenNAME Bryant RandalALTERNATIVNAMEN Bryant Randal E KURZBESCHREIBUNG US amerikanischer InformatikerGEBURTSDATUM 27 Oktober 1952 Abgerufen von https de wikipedia org w index php title Randal Bryant amp oldid 212995475