| Property |
Value |
| dbo:abstract
|
- Randal E. Bryant (* 27. Oktober 1952) ist ein US-amerikanischer Informatiker. 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 Binary Decision Diagrams (BDD) 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. (de)
- Randal E. Bryant (* 27. Oktober 1952) ist ein US-amerikanischer Informatiker. 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 Binary Decision Diagrams (BDD) 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. (de)
|
| dbo:birthDate
| |
| dbo:lccn
| |
| dbo:thumbnail
| |
| dbo:viafId
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageRevisionID
| |
| prop-de:gndcheck
| |
| prop-de:gndfehlt
| |
| prop-de:kurzbeschreibung
|
- US-amerikanischer Informatiker
|
| prop-de:typ
| |
| dc:description
|
- US-amerikanischer Informatiker
|
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Randal E. Bryant (* 27. Oktober 1952) ist ein US-amerikanischer Informatiker. 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. (de)
- Randal E. Bryant (* 27. Oktober 1952) ist ein US-amerikanischer Informatiker. 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. (de)
|
| rdfs:label
|
- Randal Bryant (de)
- Randal Bryant (de)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:givenName
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
|
- 110715241 (de)
- Bryant, Randal (de)
- Randal Bryant
|
| foaf:nick
|
- Bryant, Randal E. (de)
- Bryant, Randal E. (de)
|
| foaf:surname
| |
| is foaf:primaryTopic
of | |
