Randal Bryant

Randal Bryant
Randal Bryant
Bryant im Jahr 2006
Geboren 27. Oktober 1952 (Alter 69)
Vereinigte Staaten
Alma Mater Universität von Michigan
Bekannt für Entwicklung von Binärentscheidungsdiagrammen (BDDS) Datenstruktur, formelle Hardware und Softwareverifizierung
Auszeichnungen Paris Kanellakis Theory and Practice Award
Phil Kaufman Award
Wissenschaftliche Karriere
Felder Hardware, Systemsoftware, Netzwerk
Institutionen Informatikschule, Carnegie Mellon Universität

Randal E. Bryant (Geboren am 27. Oktober 1952) ist ein Amerikaner Informatiker und akademisch bekannt für seine Forschung zu formell überprüfen Digitale Hardware und Software. Bryant war Fakultätsmitglied bei Carnegie Mellon Universität seit 1984. er diente als der Dean des Informatikschule .

Im Laufe der Jahre hat Dr. Bryant viele Anerkennungen für seine Forschung zur Überprüfung von Hardware und Software erhalten Algorithmen und Rechnerarchitektur. Sein 1986er Artikel über symbolische boolesche Manipulation verwendet Geordnete binäre Entscheidungsdiagramme (BDDS) hat die höchste Zitatzahl einer Veröffentlichung in der Citeseer Datenbank für Informatikliteratur.[1] Im Jahr 2009 wurde Bryant mit dem ausgezeichnet Phil Kaufman Award bis zum Eda Consortium "Für seine wegweisenden technologischen Durchbrüche im Bereich der formalen Überprüfung."

Frühes Leben und Ausbildung

Bryant wurde am 27. Oktober 1952 geboren und ist der Sohn von John H. Bryant und Barbara Everitt Bryantund der Enkel von William Littell Everitt, ehemaliger Dekan der Elektrotechnik Abteilung im Universität von Illinois in Urbana -Champaign (1949–68). Seine Schwester ist Lois Bryant, ein bekannter Textilkünstler (https://loisbryantstudio.com/home.html). Bryant wurde aufgewachsen Birmingham, Michigan. Ab 1970 besuchte er die Universität von Michigan, wo er seinen B.S. in angewandter Mathematik von 1973. Seine Master -These auf Simulation von Computersystemen der Paketkommunikation Architektur, veröffentlicht 1977, ist als eine der ersten Veröffentlichungen zur verteilten Simulation bekannt.[2] Er promovierte vor dem Massachusetts Institute of Technology 1981.[3]

Karriere

  • Von 1981 bis 1984 war Bryant Assistenzprofessor für Informatik bei Kalifornisches Institut der Technologie. Zu seinen Forschungsbereichen gehörten VLSI Schaltungsmodelle, Logiksimulation und Schaltungstests. Er unterrichtete auch Kurse in Computerarchitektur, Theorie für digitale Systeme und Computeralgorithmen.
  • 1984 trat Bryant der Fakultät bei Carnegie Mellon Als Assistenzprofessor für Informatik. Er setzte seine Forschung zu VLSI -Simulation, VLSI -Schaltungsüberprüfung, symbolischer Manipulation und paralleler Berechnung fort.
  • Er war ein besuchender Research Fellow, Fujitsu Laboratorien, Ltd., Kawasaki, Japan von 1990 bis 1991.
  • 1992 wurde er Universitätsprofessor bei Carnegie Mellon. Professor Bryant lehrte Rechnerarchitektur Von 1992 bis 1997.
  • Er diente als Dean des Informatikschule An der Carnegie Mellon University von 2004 bis 2014 stieg während seiner Amtszeit die kombinierte Einschreibung bei SCS um mehr als 50 Prozent.[4]
  • Im Jahr 2003 wurde Bryant zum Mitglied des Nationale Akademie des Ingenieurwesens Für Beiträge zur symbolischen Simulation und logische Überprüfung.
  • Er war in der Ingenieur- und Informatikjury für die Infosys Preis von 2011 bis 2013[5]
  • In den Jahren 2014–2015 war er stellvertretender Direktor für Informationstechnologieforschung und -entwicklung bei der Büro des Weißen Hauses für Wissenschaft und Technologiepolitik, wo er an Robotik, maschinellem Lernen, Hochleistungs-Computing, Halbleitertechnologie und Cloud Computing und Analyse und Beratung zu Big Data arbeitete.
  • Dr. Bryant ist derzeit Professor am Informatikschule. Zu seinen neuesten Forschungsfeldern gehören formelle Hardware- und Softwareüberprüfung, Systemtests und Informatikunterricht. Er unterrichtet den Kurs 15-213: Einführung in Computersysteme mit Professor David R. O'Hallaron. Ihr Buch Computersysteme: Perspektive eines Programmierers, das die Schüler in die Hardware, das Betriebssystem, den Compiler und die Computernetzwerke einführt, wird von über 300 Universitäten weltweit verwendet.

Forschung und Veröffentlichungen

  • In den letzten Jahren hat Bryant viele Forschungsarbeiten zur formellen Hardware- und Software -Überprüfung sowie zu Computersystemen durchgeführt. Seine bekannteste Veröffentlichung[6] 1986 war "Graph-basierte Algorithmen für die Manipulation der Booleschen Funktion" , in welchem Binärentscheidungsdiagramm (BDDS) wurde als neuartige Datenstruktur zur Darstellung von Booleschen Funktionen und Manipulationsalgorithmen dargestellt. BDDs wurden ausgiebig in Bereichen wie digitaler Circuit -Tests und Synthese und Planung für künstliche Intelligenz eingesetzt. Nach Angaben des berühmten Informatiker Donald KnuthBDDS wurde als "eine der einzigen wirklich grundlegenden Datenstrukturen, die in den letzten fünfundzwanzig Jahren herauskamen" angesehen.[2] Nach seiner Forschung veröffentlichte er ein anderes Papier[7] In einem Tutorial und einem Update zu BDDS im Jahr 1992. Sein Papier über BDDs wurde vergeben, weil er die höchste Zitatzahl in der Citeseer Datenbank jeder Informatik -Literatur.[1]
  • Seine Arbeit bei der Überprüfung digitaler Schaltkreise-seminaler Arbeiten hat zahlreiche Auszeichnungen von erhalten IEEE und andere professionelle Gesellschaften (siehe unten). Sein Papier weiter Formale Überprüfung durch symbolische Bewertung teilweise geordneter Flugbahnen[8] wurde 1995 veröffentlicht. Die in seinem Papier beschriebene Methode der symbolischen Trajektorienbewertung wurde weithin für die Branche übernommen, insbesondere von verwendet von Intel.[3] Ab 2004 fördert Bryant neue Forschungsinitiativen im datenintensiven Computing.
  • Bryant und Professor David R. O'Hallaron an der Carnegie Mellon University haben gemeinsam das Buch geschrieben "Computersysteme: Die Perspektive eines Programmierers" in dem sie einen neuartigen Ansatz zum Unterrichten von Computersystemen verfolgen. Anstatt sich auf die Gestaltung und Implementierung der Systeme zu konzentrieren, konzentriert sich das Buch darauf, den Schülern beizubringen, wie sich Systeme - Architektur, Compiler, Betriebssysteme und Computernetzwerke - das Verhalten und die Leistung des Programms beeinflussen. Dieses Buch, das jetzt in seiner dritten Ausgabe ist, wurde in koreanische, chinesische, mazedonische und russische Ausgaben übersetzt und wird von Institutionen auf der ganzen Welt verwendet.[9]

Auszeichnungen und Ehrungen

Verweise

  1. ^ a b "Die meisten zitierten Quelldokumente". Citeseer. September 2006. Abgerufen 5. März, 2007.
  2. ^ a b "Bryants Zuhause". www.cs.cmu.edu. Abgerufen 2018-02-01.
  3. ^ a b "Randal Bryant - Bildung und Veröffentlichungen".
  4. ^ Universität, Carnegie Mellon. "Pressemitteilung: ehemaliger Dekan von Carnegie Mellon Informatik, der jetzt im Politikbüro des Weißen Hauses assistiert wird - Nachrichten - Carnegie Mellon University". Abgerufen 2018-02-01.
  5. ^ "Infosys Preis - Jury 2013". Infosys Science Foundation. Abgerufen 1. März 2021.
  6. ^ Bryant, R. E. (August 1986). "Graph-basierte Algorithmen für die Manipulation der Booleschen Funktion". IEEE -Transaktionen auf Computern. C-35 (8): 677–691. Arxiv:CS/0508044. doi:10.1109/tc.1986.1676819. ISSN 0018-9340. S2CID 10385726.
  7. ^ Bryant, Randal E. (1992-09-01). "Symbolische Boolesche Manipulation mit geordneten Binärdepisionsdiagrammen" (PDF). ACM Computing -Umfragen. 24 (3): 293–318. doi:10.1145/136035.136043. ISSN 0360-0300. S2CID 1933530.
  8. ^ Seger, Carl-Johan H.; Bryant, Randal E. (1995-03-01). "Formale Überprüfung durch symbolische Bewertung teilweise geordneter Flugbahnen". Formale Methoden im Systemdesign. 6 (2): 147–189. doi:10.1007/bf01383966. ISSN 0925-9856. S2CID 14804600.
  9. ^ Universität, Carnegie Mellon. "Randal Bryant - Institut für Softwareforschung - Carnegie Mellon University". www.isri.cmu.edu. Abgerufen 2018-02-01.
  10. ^ "IEEE Emanuel R. Piore Award -Empfänger" (PDF). IEEE. Archiviert von das Original (PDF) am 24. November 2010. Abgerufen 20. März, 2021.
  11. ^ "ACM/IEEE A. Richard Newton Technical Impact Award für elektronische Designautomatisierung". Sigda. Abgerufen 2. Februar 2018.