Вікіпедія

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

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

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

Рендел Брайнт
Народився 27 жовтня 1952(1952-10-27) (71 рік)
США
Країна  США
Діяльність інформатик, інженер, викладач університету, адміністратор освіти, information scientist
Alma mater University of Michigan College of Engineeringd (1973)[1]
Массачусетський технологічний інститут (1981)[2]
Seaholm High Schoold
Галузь інформатика[d][3] і інформатика[3]
Заклад Carnegie Mellon School of Computer Scienced
Каліфорнійський технологічний інститут
Науковий керівник Jack Dennisd[4]
Аспіранти, докторанти Yirng-An Chend[2]
Manish Pandeyd[2]
Derek Lee Beattyd[2]
Sanjit Arunkumar Seshiad[2]
Lawrence Peter Huangd[2]
Rune Møller Jensend[2]
Членство Інститут інженерів з електротехніки та електроніки
Американська академія мистецтв і наук
Національна інженерна академія США
Association for Computing Machinery
Мати Barbara Everitt Bryantd
Нагороди
CMNS: Рендел Брайнт у Вікісховищі

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

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

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

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

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

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

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

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

Кар'єра ред.

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

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

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

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

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

Посилання ред.

  1. ↑ https://www.cs.cmu.edu/~bryant/vitae.html
  2. ↑ а б в г д е ж Математичний генеалогічний проєкт — 1997.
  3. ↑ а б Czech National Authority Database
  4. ↑ Математичний генеалогічний проєкт — 1997.
  5. ↑ Most cited source documents. Citeseer. September 2006. Процитовано 5 березня 2007.(англ.)
  6. ↑ Bryant's home. www.cs.cmu.edu. Процитовано 1 лютого 2018.
  7. ↑ Randal Bryant - Education and Publications.(англ.)
  8. ↑ 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.(англ.)
  9. ↑ 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.(англ.)
  10. ↑ 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.(англ.)
  11. ↑ 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.(англ.)
  12. ↑ University, Carnegie Mellon. Randal Bryant - Institute for Software Research - Carnegie Mellon University. www.isri.cmu.edu (англ.). Архів оригіналу за 1 лютого 2018. Процитовано 1 лютого 2018.(англ.)
  13. ↑ ACM/IEEE A. Richard Newton Technical Impact Award in Electronic Design Automation (англ.). SIGDA. Архів оригіналу за 24 лютого 2018. Процитовано 2 лютого 2018.(англ.)


  Це незавершена стаття про IT-спеціаліста чи спеціалістку.
Ви можете допомогти проєкту, виправивши або дописавши її.
Отримано з https://uk.wikipedia.org/w/index.php?title=Рендел_Брайнт&oldid=40863631