Randal Bryant
From Wikipedia, the free encyclopedia
Institut de technologie du Massachusetts (Ph.D.) (jusqu'en )
Seaholm High School (en)
| Naissance | |
|---|---|
| Nationalité | |
| Formation |
University of Michigan College of Engineering (en) (baccalauréat ès sciences) (jusqu'en ) Institut de technologie du Massachusetts (Ph.D.) (jusqu'en ) Seaholm High School (en) |
| Activités |
Informaticien, administrateur académique, professeur d'université, ingénieur, chercheur en science de l'information |
| A travaillé pour |
École d'informatique de l'université Carnegie-Mellon (en) (- California Institute of Technology (- |
|---|---|
| Membre de | |
| Directeur de thèse |
Jack Dennis () |
| Distinctions | Liste détaillée IEEE W.R.G. Baker Award () Membre de l'IEEE () Prix Paris-Kanellakis () ACM Fellow () Prix IEEE Emanuel R. Piore () Prix Phil Kaufman (en) () |
Randal Everitt Bryant est un informaticien américain né le 27 octobre 1952, connu pour l'introduction des diagrammes de décision binaire.
Bryant grandit à Birmingham (Michigan) ; il étudie à partir de 1970 à l'université du Michigan où il obtient un baccalauréat en mathématiques appliquées (B. Sc.) en 1973 et, à partir de 1974, au Massachusetts Institute of Technology, où il obtient un Ph. D. en 1981 sous la direction de Jack B. Dennis. Le titre de sa thèse est A Switch-Level Simulation Model of Integrated Logic Circuits [1].
En tant que chercheur postdoctoral, il est professeur adjoint au California Institute of Technology (Caltech)[2]. Depuis 1984, il enseigne à l'université Carnegie-Mellon, d'abord comme professeur assistant, en 1987 comme professeur associé et à partir de 1992 comme professeur titulaire.
De 1999 à 2004, il dirige le département d'informatique ; il est doyen de l'école d'informatique à partir de 2004[2].
Depuis 2020, il est professeur émérite « Founders University Professor of Computer Science Emeritus »[2].
En 1990-1991, il est chercheur invité aux laboratoires Fujitsu de Kawasaki, au Japon.
Recherche
Randal Bryant est connu pour ses systèmes de vérification formelle du matériel numérique. Son article de 1986 intitulé « Graph-Based Algorithms for Boolean Function Manipulation » sur la manipulation formelle des fonctions booléennes sous forme de diagrammes de décision binaires est l'un des articles les plus cités en informatique. Il a également développé des méthodes de vérification utilisant des programmes de simulation matérielle à différents niveaux d'abstraction.
Prix et distinctions
- 1998 : Prix Paris-Kanellakis avec Edmund M. Clarke, Ken McMillan (en), et Allen Emerson)
- 2009 : Prix Phil-Kaufman (en)
- 2007 : Prix Emanuel R. Piore de l'IEEE.
Il est membre de :
Autres responsabilités
De 1989 à 1995, il est rédacteur associé et de 1995 à 1997, il est rédacteur en chef de IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
