Randal Bryant

Randal Bryant
Randal E. Bryant (2006)
Biographie
Naissance
Nationalité
Formation
University of Michigan College of Engineering (en) (baccalauréat ès sciences) (jusqu'en )
Institut de technologie du Massachusetts (docteur en philosophie) (jusqu'en )Voir et modifier les données sur Wikidata
Activités
Autres informations
A travaillé pour
École d'informatique de l'université Carnegie-Mellon (en) (-)
California Institute of Technology (-)Voir et modifier les données sur Wikidata
Membre de
Directeur de thèse
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) ()Voir et modifier les données sur Wikidata

modifier - modifier le code - modifier WikidataDocumentation du modèle

Randal Everitt Bryant est un informaticien américain né le , connu pour l'introduction des diagrammes de décision binaire.

Biographie

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 .

En tant que chercheur postdoctoral, il est professeur adjoint au California Institute of Technology (Caltech). 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.

Depuis 2020, il est professeur émérite « Founders University Professor of Computer Science Emeritus ».

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

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.

Publications (sélection)

Réimpression dans M. Yoeli (éditeur), Formal verification in Hardware Design, EEEComputer Society Press, , « Graph-Based Algorithms for Boolean Function Manipulation », p. 253–267

Notes et références

  1. ↑ (en) « Randal Everitt Bryant », sur le site du Mathematics Genealogy Project.
  2. 1 2 3 C.V. de Bryant à Carnegie-Mellon.

Liens externes