Randal Bryant - Randal Bryant
![]() | Tento životopis živé osoby příliš spoléhá na Reference na primární zdroje.Února 2018) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) ( |
Randal Bryant | |
---|---|
![]() Bryant v roce 2006 | |
narozený | Spojené státy | 27. října 1952
Alma mater | Michiganská univerzita |
Známý jako | Vý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 | |
Pole | Hardware, 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í
- Bryant je členem IEEE a ACM.
- Je členem National Academy of Engineering a Americká akademie umění a vědy.
- V roce 1998 obdržel ACM Cena Kanellakisova teorie a praxe (spolu s Edmund M. Clarke, Ken McMillan a Allen Emerson )
- V roce 1989 mu byl udělen titul IEEE W.R.G. Bakerova cena za nejlepší dokument, který se objevil v jakékoli publikaci IEEE v předchozím roce (1987).
- V roce 2007 Bryant obdržel Cena IEEE Emmanuela R. Piora za jeho výzkum nástrojů k ověření návrhů polovodičů před jejich výrobou.
- V roce 2009 získal Bryant cenu EDAC / IEEE Phil Kaufman za jeho „klíčové technologické průlomy v oblasti formálního ověřování“.
- V roce 2010 získal technickou cenu A. Richarda Newtona za elektronickou automatizaci designu.[9]
Reference
- ^ A b „Nejcitovanější zdrojové dokumenty“. Citeseer. Září 2006. Citováno 5. března 2007.
- ^ A b „Bryantův domov“. www.cs.cmu.edu. Citováno 2018-02-01.
- ^ A b „Randal Bryant - vzdělávání a publikace“.
- ^ 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.
- ^ 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.
- ^ 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.
- ^ 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.
- ^ University, Carnegie Mellon. „Randal Bryant - Institut pro softwarový výzkum - Carnegie Mellon University“. www.isri.cmu.edu. Citováno 2018-02-01.
- ^ „ACM / IEEE A. Richard Newton Award za technický dopad v automatizaci elektronického designu“. SIGDA. Citováno 2. února 2018.