Azərbaycanca AzərbaycancaБеларускі БеларускіDansk DanskDeutsch DeutschEspañola EspañolaFrançais FrançaisIndonesia IndonesiaItaliana Italiana日本語 日本語Қазақ ҚазақLietuvos LietuvosNederlands NederlandsPortuguês PortuguêsРусский Русскийසිංහල සිංහලแบบไทย แบบไทยTürkçe TürkçeУкраїнська Українська中國人 中國人United State United StateAfrikaans Afrikaans
Підтримка
www.wikidata.uk-ua.nina.az

Ця стаття може містити помилки перекладу з іншої мови Будь ласка допоможіть поліпшити переклад перевіривши його якість і

Рендел Брайнт

Рендел Брайнт
Ця стаття може містити помилки з іншої мови. Будь ласка, допоможіть поліпшити переклад, перевіривши його якість, і погодивши вміст зі .
Оригінал не зазначено. Будь ласка, укажіть його.

Рендел Е. Брайнт (нар. 27 жовтня 1952 року) — американський вчений у галузі інформатики, професор, дослідник формальної верифікації цифрового обладнання і програмного забезпечення.

Рендел Брайнт
image
Народився27 жовтня 1952(1952-10-27) (71 рік)
США
Країнаimage США
Діяльністьінформатик, інженер, викладач університету, адміністратор освіти, information scientist
Alma materd (1973)[1]
Массачусетський технологічний інститут (1981)[2]
d
Галузьінформатика[d][3] і інформатика[3]
Закладd
Каліфорнійський технологічний інститут
Науковий керівникd[4]
Аспіранти, докторантиd[2]
d[2]
d[2]
d[2]
d[2]
d[2]
ЧленствоІнститут інженерів з електротехніки та електроніки
Американська академія мистецтв і наук
Національна інженерна академія США
Association for Computing Machinery[5]
Матиd
Нагороди
image Рендел Брайнт у Вікісховищі

Загальна характеристика

Брайнт викладав в Університеті Карнегі-Меллон з 1984 року. В даний час він викладає курс в комп'ютерних систем з професором Девідом Р. О'Халароном. Він також працював деканом факультету комп'ютерних наук (СКС) в Університеті Карнегі-Меллон з 2004 по 2014 роки.

Відзначений численними нагородами за дослідження з верифікації апаратного та програмного забезпечення, а також алгоритмів та комп'ютерної архітектури.

Його статтю 1986 року про алгоритми маніпуляцій з булевими функціями з використанням впорядкованих бінарних діаграм рішень (BDDs) має найбільшу кількість цитувань у базі даних Citeseer серед комп'ютерної літератури.

У 2009 році Рендел Брайнт був нагороджений премією Філа Кауфмана Консорціуму Програми проектування електронних систем (EDA) «за його основоположні технологічні досягнення у сфері формальної верифікації».

Походження та навчання

Рендел Брайнт народився 27 жовтня 1952 року і є сином Джона Х. Брайнт та Барбари Е. Брайнт, а також онуком Вільяма Літлеса Еверітт, колишнього декана факультету електротехніки в Університеті штату Іллінойс в Урбана–Шампейн (1949—1968 рр.). Його сестра Лоїс Брайнт — відома художниця по текстилю.

Рендел Брайнт виховувався в Бірмінгемі, штат Мічиган. Починаючи з 1970 року навчався в Мічиганському університеті, де він отримав ступінь бакалавра в галузі прикладної математики в 1973 році. Його дипломна робота на тему Моделювання пакетної передачі даних архітектури комп'ютерних систем, була опублікована в 1977 році, як відомо, є одним з перших видань про розподілене моделювання. Рендел Брайнт також отримав докторський ступінь (PhD) у Массачусетському технологічному інституті в 1981 році.

Кар'єра

  • З 1981 по 1984 рік, Брайнт працював на посаді професора комп'ютерних наук в Каліфорнійському технологічному інституті. Сфера його досліджень включала моделі VLSI схем, логічне моделювання та тестування схем. Він також викладав курси з комп'ютерної архітектури, теорії цифрових систем та комп'ютерних алгоритмів.
  • У 1984 році, Рендел Брайнт перейшов на факультет університету Карнегі-Меллон на посаді професора кафедри інформатики. Він продовжував дослідження щодо моделювання VLSI, перевірки схеми VLSI, символічного маніпулювання та паралельного обчислення.
  • Він з 1990 по 1991 роки був запрошеним науковим співробітником лабораторії компанії Fujitsu, у місті Кавасакі (Японія).
  • У 1992 році Брайнт став професором університету Карнегі-Меллона. він викладав комп'ютерну архітектуру з 1992 по 1997 рік.
  • У 2014—2015 роках Рендел Брайнт був помічником директора з досліджень та розробки інформаційних технологій в Управлінні з питань науки та технологій Білого дому, де працював у галузі робототехніки, машинного навчання, високопродуктивних обчислень, напівпровідникових технологій та хмарних обчислень та готував аналіз та поради щодо великих даних.
  • З 2004 по 2014 рік він працював деканом факультету комп'ютерних наук в Університеті Карнегі-Меллона. За час свого перебування в поєднанні зарахування на СКС (School of Computer Science) збільшилося більш ніж на 50 відсотків.  Школа комп'ютерних наук (SCS) стала однією з кращих програм комп'ютерних наук, коли він пішов від посади декана.
  • Доктор Брайнт в даний час є професором в Школі комп'ютерних наук. Його останні дослідження поля включають в себе формальне підтвердження апаратного та програмного забезпечення, тестування системи, а також освіта в галузі інформатики. Він викладає курс 15-213: Введення в комп'ютерні системи з професором Девідом Р. О'Халароном. Їх книга «Комп'ютерні системи: перспектива програміста», який знайомить учнів з апаратним забезпеченням, операційної системи, компілятора і комп'ютерні мережі, використовується більш ніж 300 університетами по всьому світу.

Дослідження та публікації

  • Протягом останніх років, Рендел Брайнт зробив багато досліджень з формального обладнання та верифікації програмного забезпечення, а також комп'ютерних систем. Його найбільш відомою публікацією в 1986 році стала «Графічні алгоритми для булевих функціональних маніпуляцій», в якому діаграма бінарних рішень (BDDs) була представлена ​​як нова структура даних для представлення логічних функцій та алгоритмів маніпуляцій. BDDs широко застосовується в таких областях, як цифрова схема тестування та синтезу і штучного інтелекту планування. 
  • За словами відомого комп'ютерного вченого Дональда Кнута, BDD вважається «однією з єдиних справді фундаментальних структур даних, що вийшли за останні двадцять п'ять років». Після своїх досліджень Рендел Брайнт опублікував ще один документ присвячений підручнику та оновленню на BDD в 1992 році. Його стаття про BDDs була визнаною кращою за те, що має найбільшу кількість цитат у базі даних Citeseer серед комп'ютерної літератури.
  • Його робота з перевірки цифрових схем-семінарних робіт отримала численні нагороди від Інституту інженерів з електротехніки та електроніки (IEEE) та інших професійних товариств (див. нижче). 
  • Його стаття про формальну верифікацію за допомогою символічної оцінки частково впорядкованих траєкторій була опублікована в 1995 році.  Метод оцінки символічної траєкторії, описаний у його роботі, широко прийнятий у промисловості, зокрема використовується корпорацією Intel. 
  • Починаючи з 2004 року, Рендел Брайнт просуває нові науково-дослідних ініціатив в галузі ресурсномістких обчислень.
  • Р.Брайнт і професор Девід Р. О'Халларон в університеті Карнегі-Меллон спільно написали книгу "Комп'ютерні системи: переспектива програміста, " в якій вони пропонують новий підхід у викладанні комп'ютерних систем. Замість того, щоб наголосити на розробці та впровадженні систем, автори книга зосереджуються на навчанні студентів, як системи — архітектура, компілятори, операційні системи та комп'ютерні мережі — впливають на поведінку та продуктивність програми. Ця книга, тепер у її третьому виданні, була перекладена корейською, китайською, македонською та російською мовами та використовується інститутами в усьому світі.

Нагороди та почесні звання

  • Рендел Брайнт є співробітником Інституту інженерів з електротехніки та електроніки (IEEE).
  • Він є членом Національної Академії наук США та Американської академії мистецтв і наук.
  • У 1998 році він отримав премію Канеллакіса (разом з Едмундом М. Кларком, Кеном Макміланом та Аллен Емерсоном)
  • У 1989 році він був нагороджений IEEE W.R.G. Бейкер-премія за кращу доповідь, що з'явилася в будь-якій публікації IEEE у попередньому році (1987 р.).
  • У 2007 році Р.Брайнт отримав премію IEEE Emmanuel R. Piore за свої дослідження інструментів для перевірки напівпровідникових конструкцій до їх виготовлення.
  • У 2009 році Брайант був нагороджений EDAC / IEEE Філом Кауфманом «за його основоположні технологічні досягнення у сфері формальної верифікації».
  • У 2010 році він отримав технічну премію імені А. Річарда Ньютона у сфері електронної автоматизації проектування.

Посилання

  1. https://www.cs.cmu.edu/~bryant/vitae.html
  2. Математичний генеалогічний проєкт — 1997.
    d:Track:Q829984
  3. Czech National Authority Database
    d:Track:Q13550863
  4. Математичний генеалогічний проєкт — 1997.
    d:Track:Q829984
  5. https://awards.acm.org/fellows/award-recipients
  6. Most cited source documents. Citeseer. September 2006. Процитовано 5 березня 2007.(англ.)
  7. Bryant's home. www.cs.cmu.edu. Процитовано 1 лютого 2018.
  8. Randal Bryant - Education and Publications.(англ.)
  9. University, Carnegie Mellon ($dateFormat). Press Release: Former Carnegie Mellon Computer Science Dean Now Assisting in White House Policy Office - News - Carnegie Mellon University (англ.). Процитовано 1 лютого 2018.(англ.)
  10. Bryant, R. E. (August 1986). Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers. C-35 (8): 677—691. doi:10.1109/TC.1986.1676819. ISSN 0018-9340.(англ.)
  11. Bryant, Randal E. (1 вересня 1992). Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys (CSUR). 24 (3): 293—318. doi:10.1145/136035.136043. ISSN 0360-0300.(англ.)
  12. Seger, Carl-Johan H.; Bryant, Randal E. (1 березня 1995). Formal verification by symbolic evaluation of partially-ordered trajectories. Formal Methods in System Design. 6 (2): 147—189. doi:10.1007/BF01383966. ISSN 0925-9856.(англ.)
  13. University, Carnegie Mellon. . www.isri.cmu.edu (англ.). Архів оригіналу за 1 лютого 2018. Процитовано 1 лютого 2018.(англ.)
  14. (англ.). SIGDA. Архів оригіналу за 24 лютого 2018. Процитовано 2 лютого 2018.(англ.)


image Це незавершена стаття про IT-спеціаліста чи спеціалістку.
Ви можете проєкту, виправивши або дописавши її.

Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет

Cya stattya mozhe mistiti pomilki perekladu z inshoyi movi Bud laska dopomozhit polipshiti pereklad perevirivshi jogo yakist i pogodivshi vmist zi stilistichnimi pravilami Vikipediyi Original ne zaznacheno Bud laska ukazhit jogo Rendel E Brajnt nar 27 zhovtnya 1952 roku amerikanskij vchenij u galuzi informatiki profesor doslidnik formalnoyi verifikaciyi cifrovogo obladnannya i programnogo zabezpechennya Rendel BrajntNarodivsya27 zhovtnya 1952 1952 10 27 71 rik SShAKrayina SShADiyalnistinformatik inzhener vikladach universitetu administrator osviti information scientistAlma materd 1973 1 Massachusetskij tehnologichnij institut 1981 2 dGaluzinformatika d 3 i informatika 3 Zakladd Kalifornijskij tehnologichnij institutNaukovij kerivnikd 4 Aspiranti doktorantid 2 d 2 d 2 d 2 d 2 d 2 ChlenstvoInstitut inzheneriv z elektrotehniki ta elektroniki Amerikanska akademiya mistectv i nauk Nacionalna inzhenerna akademiya SShA Association for Computing Machinery 5 MatidNagorodipremiya Kanellakisa 1998 Premiya Emanuelya Piora 2007 d 2009 d 2000 d 1990 d 1989 Rendel Brajnt u VikishovishiZagalna harakteristikaBrajnt vikladav v Universiteti Karnegi Mellon z 1984 roku V danij chas vin vikladaye kurs v komp yuternih sistem z profesorom Devidom R O Halaronom Vin takozh pracyuvav dekanom fakultetu komp yuternih nauk SKS v Universiteti Karnegi Mellon z 2004 po 2014 roki Vidznachenij chislennimi nagorodami za doslidzhennya z verifikaciyi aparatnogo ta programnogo zabezpechennya a takozh algoritmiv ta komp yuternoyi arhitekturi Jogo stattyu 1986 roku pro algoritmi manipulyacij z bulevimi funkciyami z vikoristannyam vporyadkovanih binarnih diagram rishen BDDs maye najbilshu kilkist cituvan u bazi danih Citeseer sered komp yuternoyi literaturi U 2009 roci Rendel Brajnt buv nagorodzhenij premiyeyu Fila Kaufmana Konsorciumu Programi proektuvannya elektronnih sistem EDA za jogo osnovopolozhni tehnologichni dosyagnennya u sferi formalnoyi verifikaciyi Pohodzhennya ta navchannyaRendel Brajnt narodivsya 27 zhovtnya 1952 roku i ye sinom Dzhona H Brajnt ta Barbari E Brajnt a takozh onukom Vilyama Litlesa Everitt kolishnogo dekana fakultetu elektrotehniki v Universiteti shtatu Illinojs v Urbana Shampejn 1949 1968 rr Jogo sestra Loyis Brajnt vidoma hudozhnicya po tekstilyu Rendel Brajnt vihovuvavsya v Birmingemi shtat Michigan Pochinayuchi z 1970 roku navchavsya v Michiganskomu universiteti de vin otrimav stupin bakalavra v galuzi prikladnoyi matematiki v 1973 roci Jogo diplomna robota na temu Modelyuvannya paketnoyi peredachi danih arhitekturi komp yuternih sistem bula opublikovana v 1977 roci yak vidomo ye odnim z pershih vidan pro rozpodilene modelyuvannya Rendel Brajnt takozh otrimav doktorskij stupin PhD u Massachusetskomu tehnologichnomu instituti v 1981 roci Kar yeraZ 1981 po 1984 rik Brajnt pracyuvav na posadi profesora komp yuternih nauk v Kalifornijskomu tehnologichnomu instituti Sfera jogo doslidzhen vklyuchala modeli VLSI shem logichne modelyuvannya ta testuvannya shem Vin takozh vikladav kursi z komp yuternoyi arhitekturi teoriyi cifrovih sistem ta komp yuternih algoritmiv U 1984 roci Rendel Brajnt perejshov na fakultet universitetu Karnegi Mellon na posadi profesora kafedri informatiki Vin prodovzhuvav doslidzhennya shodo modelyuvannya VLSI perevirki shemi VLSI simvolichnogo manipulyuvannya ta paralelnogo obchislennya Vin z 1990 po 1991 roki buv zaproshenim naukovim spivrobitnikom laboratoriyi kompaniyi Fujitsu u misti Kavasaki Yaponiya U 1992 roci Brajnt stav profesorom universitetu Karnegi Mellona vin vikladav komp yuternu arhitekturu z 1992 po 1997 rik U 2014 2015 rokah Rendel Brajnt buv pomichnikom direktora z doslidzhen ta rozrobki informacijnih tehnologij v Upravlinni z pitan nauki ta tehnologij Bilogo domu de pracyuvav u galuzi robototehniki mashinnogo navchannya visokoproduktivnih obchislen napivprovidnikovih tehnologij ta hmarnih obchislen ta gotuvav analiz ta poradi shodo velikih danih Z 2004 po 2014 rik vin pracyuvav dekanom fakultetu komp yuternih nauk v Universiteti Karnegi Mellona Za chas svogo perebuvannya v poyednanni zarahuvannya na SKS School of Computer Science zbilshilosya bilsh nizh na 50 vidsotkiv Shkola komp yuternih nauk SCS stala odniyeyu z krashih program komp yuternih nauk koli vin pishov vid posadi dekana Doktor Brajnt v danij chas ye profesorom v Shkoli komp yuternih nauk Jogo ostanni doslidzhennya polya vklyuchayut v sebe formalne pidtverdzhennya aparatnogo ta programnogo zabezpechennya testuvannya sistemi a takozh osvita v galuzi informatiki Vin vikladaye kurs 15 213 Vvedennya v komp yuterni sistemi z profesorom Devidom R O Halaronom Yih kniga Komp yuterni sistemi perspektiva programista yakij znajomit uchniv z aparatnim zabezpechennyam operacijnoyi sistemi kompilyatora i komp yuterni merezhi vikoristovuyetsya bilsh nizh 300 universitetami po vsomu svitu Doslidzhennya ta publikaciyiProtyagom ostannih rokiv Rendel Brajnt zrobiv bagato doslidzhen z formalnogo obladnannya ta verifikaciyi programnogo zabezpechennya a takozh komp yuternih sistem Jogo najbilsh vidomoyu publikaciyeyu v 1986 roci stala Grafichni algoritmi dlya bulevih funkcionalnih manipulyacij v yakomu diagrama binarnih rishen BDDs bula predstavlena yak nova struktura danih dlya predstavlennya logichnih funkcij ta algoritmiv manipulyacij BDDs shiroko zastosovuyetsya v takih oblastyah yak cifrova shema testuvannya ta sintezu i shtuchnogo intelektu planuvannya Za slovami vidomogo komp yuternogo vchenogo Donalda Knuta BDD vvazhayetsya odniyeyu z yedinih spravdi fundamentalnih struktur danih sho vijshli za ostanni dvadcyat p yat rokiv Pislya svoyih doslidzhen Rendel Brajnt opublikuvav she odin dokument prisvyachenij pidruchniku ta onovlennyu na BDD v 1992 roci Jogo stattya pro BDDs bula viznanoyu krashoyu za te sho maye najbilshu kilkist citat u bazi danih Citeseer sered komp yuternoyi literaturi Jogo robota z perevirki cifrovih shem seminarnih robit otrimala chislenni nagorodi vid Institutu inzheneriv z elektrotehniki ta elektroniki IEEE ta inshih profesijnih tovaristv div nizhche Jogo stattya pro formalnu verifikaciyu za dopomogoyu simvolichnoyi ocinki chastkovo vporyadkovanih trayektorij bula opublikovana v 1995 roci Metod ocinki simvolichnoyi trayektoriyi opisanij u jogo roboti shiroko prijnyatij u promislovosti zokrema vikoristovuyetsya korporaciyeyu Intel Pochinayuchi z 2004 roku Rendel Brajnt prosuvaye novi naukovo doslidnih iniciativ v galuzi resursnomistkih obchislen R Brajnt i profesor Devid R O Hallaron v universiteti Karnegi Mellon spilno napisali knigu Komp yuterni sistemi perespektiva programista v yakij voni proponuyut novij pidhid u vikladanni komp yuternih sistem Zamist togo shob nagolositi na rozrobci ta vprovadzhenni sistem avtori kniga zoseredzhuyutsya na navchanni studentiv yak sistemi arhitektura kompilyatori operacijni sistemi ta komp yuterni merezhi vplivayut na povedinku ta produktivnist programi Cya kniga teper u yiyi tretomu vidanni bula perekladena korejskoyu kitajskoyu makedonskoyu ta rosijskoyu movami ta vikoristovuyetsya institutami v usomu sviti Nagorodi ta pochesni zvannyaRendel Brajnt ye spivrobitnikom Institutu inzheneriv z elektrotehniki ta elektroniki IEEE Vin ye chlenom Nacionalnoyi Akademiyi nauk SShA ta Amerikanskoyi akademiyi mistectv i nauk U 1998 roci vin otrimav premiyu Kanellakisa razom z Edmundom M Klarkom Kenom Makmilanom ta Allen Emersonom U 1989 roci vin buv nagorodzhenij IEEE W R G Bejker premiya za krashu dopovid sho z yavilasya v bud yakij publikaciyi IEEE u poperednomu roci 1987 r U 2007 roci R Brajnt otrimav premiyu IEEE Emmanuel R Piore za svoyi doslidzhennya instrumentiv dlya perevirki napivprovidnikovih konstrukcij do yih vigotovlennya U 2009 roci Brajant buv nagorodzhenij EDAC IEEE Filom Kaufmanom za jogo osnovopolozhni tehnologichni dosyagnennya u sferi formalnoyi verifikaciyi U 2010 roci vin otrimav tehnichnu premiyu imeni A Richarda Nyutona u sferi elektronnoyi avtomatizaciyi proektuvannya Posilannyahttps www cs cmu edu bryant vitae html Matematichnij genealogichnij proyekt 1997 d Track Q829984 Czech National Authority Database d Track Q13550863 Matematichnij genealogichnij proyekt 1997 d Track Q829984 https awards acm org fellows award recipients Most cited source documents Citeseer September 2006 Procitovano 5 bereznya 2007 angl Bryant s home www cs cmu edu Procitovano 1 lyutogo 2018 Randal Bryant Education and Publications angl University Carnegie Mellon dateFormat Press Release Former Carnegie Mellon Computer Science Dean Now Assisting in White House Policy Office News Carnegie Mellon University angl Procitovano 1 lyutogo 2018 angl Bryant R E August 1986 Graph Based Algorithms for Boolean Function Manipulation IEEE Transactions on Computers C 35 8 677 691 doi 10 1109 TC 1986 1676819 ISSN 0018 9340 angl Bryant Randal E 1 veresnya 1992 Symbolic Boolean manipulation with ordered binary decision diagrams ACM Computing Surveys CSUR 24 3 293 318 doi 10 1145 136035 136043 ISSN 0360 0300 angl Seger Carl Johan H Bryant Randal E 1 bereznya 1995 Formal verification by symbolic evaluation of partially ordered trajectories Formal Methods in System Design 6 2 147 189 doi 10 1007 BF01383966 ISSN 0925 9856 angl University Carnegie Mellon www isri cmu edu angl Arhiv originalu za 1 lyutogo 2018 Procitovano 1 lyutogo 2018 angl angl SIGDA Arhiv originalu za 24 lyutogo 2018 Procitovano 2 lyutogo 2018 angl Ce nezavershena stattya pro IT specialista chi specialistku Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi

Дата публікації:
Топ