Randal Bryant - Randal Bryant

Randal Bryant
Randal Bryant
Bryant v roce 2006
narozený (1952-10-27) 27. října 1952 (věk 68)
Spojené státy
Alma materMichiganská univerzita
Známý jakoVývoj datové struktury binárních rozhodovacích diagramů (BDD), formální ověření hardwaru a softwaru
OceněníParis Kanellakis Theory and Practice Award
Cena Phila Kaufmana
Vědecká kariéra
PoleHardware, systémový software, síť
InstituceŠkola informatiky, Univerzita Carnegie Mellon

Randal E. Bryant (narozený 27. října 1952) je Američan počítačový vědec a akademický známý svým výzkumem formálního ověřování digitální hardware a software. Bryant byl členem fakulty v Univerzita Carnegie Mellon od roku 1984. V současné době vyučuje kurz počítačových systémů u profesora Davida R. O'Hallarona. Sloužil jako Děkan z Škola informatiky (SCS) v Carnegie Mellon od roku 2004 do roku 2014.

V průběhu let získal Dr. Bryant mnoho uznání za svůj výzkum v oblasti ověřování hardwaru a softwaru, jakož i algoritmů a počítačové architektury. Jeho referát o symbolické booleovské manipulaci z roku 1986 Objednané binární rozhodovací diagramy (BDD) má nejvyšší počet citací ze všech publikací v Citeseer databáze informatiky.[1] V roce 2009 byl Bryant oceněn Cena Phila Kaufmana podle Konsorcium EDA „za jeho zásadní technologické průlomy v oblasti formálního ověřování.“

raný život a vzdělávání

Bryant se narodil 27. října 1952 a je synem Johna H. Bryanta a Barbara Everitt Bryant a vnuk William Littell Everitt, bývalý děkan elektrotechnického oddělení na University of Illinois v Urbana – Champaign (1949–1968). Jeho sestrou je Lois Bryant, známá textilní umělkyně (https://loisbryantstudio.com/home.html ). Bryant byl vychován Birmingham, Michigan. Od roku 1970 navštěvoval Michiganská univerzita, kde získal titul B.S. v aplikované matematice od roku 1973. Jeho diplomová práce na téma Simulace počítačových systémů paketové komunikační architektury , publikovaná v roce 1977, je známá jako jedna z prvních publikací o distribuované simulaci.[2] Získal titul PhD Massachusetts Institute of Technology v roce 1981.[3]

Kariéra

  • V letech 1981 až 1984 byl Bryant odborným asistentem informatiky na Kalifornský technologický institut. Jeho oblasti výzkumu zahrnuty VLSI modely obvodů, logická simulace a testování obvodů. Učil také kurzy počítačové architektury, teorie digitálních systémů a počítačových algoritmů.
  • V roce 1984 se Bryant připojil k fakultě v Carnegie Mellon jako odborný asistent informatiky. Pokračoval ve výzkumu simulace VLSI, ověření obvodu VLSI, symbolické manipulace a paralelních výpočtů.
  • Byl hostujícím výzkumným pracovníkem, Fujitsu Laboratories, Ltd., Kawasaki, Japonsko v letech 1990–1991.
  • V roce 1992 se stal univerzitním profesorem v Carnegie Mellon. Profesor Bryant učil Počítačová architektura od roku 1992 do roku 1997.
  • Sloužil jako Děkan z Škola informatiky na Carnegie Mellon University v letech 2004 až 2014. Během jeho funkčního období se kombinovaný zápis na SCS zvýšil o více než 50 procent.[4]
  • V letech 2014–2015 působil jako asistent ředitele pro výzkum a vývoj informačních technologií na VŠE Úřad pro vědu a technologii v Bílém domě, kde pracoval na robotice, strojovém učení, vysoce výkonných výpočtech, polovodičových technologiích a cloudových výpočtech a poskytoval analýzy a rady ohledně Big Data.
  • Dr. Bryant je v současné době profesorem na Škola informatiky. Mezi jeho nejnovější výzkumné obory patří formální ověřování hardwaru a softwaru, testování systémů a výuka informatiky. Učí kurz 15-213: Úvod do počítačových systémů s profesorem Davidem R. O'Hallaronem. Jejich kniha Počítačové systémy: Perspektiva programátora, který seznamuje studenty s hardwarem, operačním systémem, překladačem a počítačovými sítěmi, využívá více než 300 univerzit po celém světě.

Výzkum a publikace

  • V uplynulých letech Bryant provedl mnoho výzkumů v oblasti formálního ověřování hardwaru a softwaru i počítačových systémů. Jeho nejznámější publikace[5] v roce 1986 byl "Algoritmy založené na grafech pro manipulaci s booleovskými funkcemi" , ve kterém binární rozhodovací diagram (BDD) byl představen jako nová datová struktura pro reprezentaci booleovských funkcí a manipulačních algoritmů. BDD se hojně používá v oblastech, jako je testování a syntéza digitálních obvodů a plánování umělé inteligence. Podle slavného počítačového vědce Donald Knuth „BDD byly považovány za„ jednu z mála skutečně základních datových struktur, které vyšly za posledních dvacet pět let “.[2] Po svém výzkumu publikoval jiný papír[6] na výukovém programu a aktualizaci BDD v roce 1992. Jeho práce o BDD byla oceněna za nejvyšší počet citací v Citeseer databáze jakékoli literatury o informatice.[1]
  • Jeho práce při ověřování digitálních obvodů - klíčová práce získala řadu ocenění od IEEE a další odborné společnosti (viz níže). Jeho papír na Formální ověření symbolickým hodnocením částečně uspořádaných trajektorií [7] byla zveřejněna v roce 1995. Metoda hodnocení symbolické trajektorie popsaná v jeho příspěvku byla v průmyslu široce přijata, zejména používána Intel.[3] Od roku 2004 Bryant podporuje nové výzkumné iniciativy v oblasti datově náročných výpočtů.
  • Bryant a profesor David R. O'Hallaron z Carnegie Mellon University společně napsali knihu „Computer Systems: A Programmer's Perspective,“ ve kterém uplatňují nový přístup k výuce počítačových systémů. Spíše než zdůrazňovat návrh a implementaci systémů se kniha zaměřuje na výuku studentů, jak systémy - architektura, překladače, operační systémy a počítačové sítě - ovlivňují chování a výkonnost programu. Tato kniha, nyní ve třetím vydání, byla přeložena do korejštiny, čínštiny, makedonštiny a ruštiny a používají ji instituce po celém světě.[8]

Ceny a vyznamenání

Reference

  1. ^ A b „Nejcitovanější zdrojové dokumenty“. Citeseer. Září 2006. Citováno 5. března 2007.
  2. ^ A b „Bryantův domov“. www.cs.cmu.edu. Citováno 2018-02-01.
  3. ^ A b „Randal Bryant - vzdělávání a publikace“.
  4. ^ University, Carnegie Mellon. „Tisková zpráva: Bývalý děkan informatiky Carnegie Mellon nyní pomáhá v kanceláři politiky Bílého domu - Zprávy - Carnegie Mellon University“. Citováno 2018-02-01.
  5. ^ Bryant, R. E. (srpen 1986). "Algoritmy založené na grafech pro manipulaci s booleovskými funkcemi". Transakce IEEE na počítačích. C-35 (8): 677–691. arXiv:cs / 0508044. doi:10.1109 / TC.1986.1676819. ISSN  0018-9340. S2CID  10385726.
  6. ^ Bryant, Randal E. (01.09.1992). „Symbolická booleovská manipulace s uspořádanými binárními rozhodovacími diagramy“ (PDF). ACM Computing Surveys. 24 (3): 293–318. doi:10.1145/136035.136043. ISSN  0360-0300. S2CID  1933530.
  7. ^ Seger, Carl-Johan H .; Bryant, Randal E. (01.03.1995). „Formální ověření symbolickým hodnocením částečně uspořádaných trajektorií“. Formální metody v návrhu systému. 6 (2): 147–189. doi:10.1007 / BF01383966. ISSN  0925-9856. S2CID  14804600.
  8. ^ University, Carnegie Mellon. „Randal Bryant - Institut pro softwarový výzkum - Carnegie Mellon University“. www.isri.cmu.edu. Citováno 2018-02-01.
  9. ^ „ACM / IEEE A. Richard Newton Award za technický dopad v automatizaci elektronického designu“. SIGDA. Citováno 2. února 2018.