Відкрити головне меню

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

американський інформатик

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

Рендел Брайнт
Randal Bryant FLoC 2006.jpg
Народився 27 жовтня 1952(1952-10-27) (67 років)
Громадянство
(підданство)
Flag of the United States.svg США
Діяльність інформатик, інженер
Alma mater University of Michigan
Заклад Carnegie Mellon School of Computer Science[d]
Науковий керівник Jack Dennis[d][1]
Член Інститут інженерів з електротехніки та електроніки, Американська академія мистецтв і наук, Національна інженерна академія США[d] і Association for Computing Machinery
Нагороди

Рендел Брайнт у Вікісховищі?

Загальна характеристикаРедагувати

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

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

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

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

Походження та навчанняРедагувати

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

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

Кар'єраРедагувати

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

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

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

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

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

ПосиланняРедагувати

  1. Математична генеалогія — 1997.
  2. Most cited source documents. Citeseer. September 2006. Процитовано March 5, 2007. (англ.)
  3. Bryant's home. www.cs.cmu.edu. Процитовано 2018-02-01. 
  4. Randal Bryant - Education and Publications. (англ.)
  5. University, Carnegie Mellon ($dateFormat). Press Release: Former Carnegie Mellon Computer Science Dean Now Assisting in White House Policy Office - News - Carnegie Mellon University (en). Процитовано 2018-02-01. (англ.)
  6. Bryant, R. E. (August 1986). Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers C–35 (8): 677–691. ISSN 0018-9340. doi:10.1109/TC.1986.1676819. (англ.)
  7. Bryant, Randal E. (1992-09-01). Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys (CSUR) 24 (3): 293–318. ISSN 0360-0300. doi:10.1145/136035.136043. (англ.)
  8. Seger, Carl-Johan H.; Bryant, Randal E. (1995-03-01). Formal verification by symbolic evaluation of partially-ordered trajectories. Formal Methods in System Design 6 (2): 147–189. ISSN 0925-9856. doi:10.1007/BF01383966. (англ.)
  9. University, Carnegie Mellon. Randal Bryant - Institute for Software Research - Carnegie Mellon University. www.isri.cmu.edu (en). Процитовано 2018-02-01. (англ.)
  10. ACM/IEEE A. Richard Newton Technical Impact Award in Electronic Design Automation (en). SIGDA. Архів оригіналу за 24 лютого 2018. Процитовано 2 February 2018. (англ.)