Рэндал Брайант
Из Википедии, бесплатной энциклопедии
  (Перенаправлено из Рэндала Э. Брайанта )
Перейти к навигации Перейти к поиску
Рэндал Брайант
Рэндал Брайант
Брайант в 2006 году
Родился( 1952-10-27 )27 октября 1952 г. (69 лет)
Соединенные Штаты
Альма-матеруниверситет Мичигана
ИзвестенРазработка структуры данных бинарных диаграмм принятия решений (BDD), формальная проверка аппаратного и программного обеспечения
НаградыПремия Пэрис Канеллакис за теорию и практику Премия
Фила Кауфмана
Научная карьера
ПоляАппаратное обеспечение, системное программное обеспечение, сеть
УчрежденияШкола компьютерных наук , Университет Карнеги-Меллона

Рэндал Э. Брайант (родился 27 октября 1952 г.) - американский ученый -компьютерщик и академик , известный своими исследованиями по формальной проверке цифрового оборудования и программного обеспечения . Брайант был преподавателем Университета Карнеги-Меллона с 1984 года. Он работал деканом Школы компьютерных наук (SCS) в Университете Карнеги-Меллона с 2004 по 2014 год. Доктор Брайант вышел на пенсию и стал почетным профессором Университета основателей 30 июня. 2020.

На протяжении многих лет д-р Брайант получил множество наград за свои исследования в области проверки аппаратного и программного обеспечения, а также алгоритмов и компьютерной архитектуры. Его статья 1986 года о символических логических манипуляциях с использованием упорядоченных двоичных диаграмм принятия решений (BDD) имеет самый высокий уровень цитирования среди всех публикаций в базе данных литературы по компьютерным наукам Citeseer . [1] В 2009 году Брайант был награжден премией Фила Кауфмана от Консорциума EDA «за выдающиеся технологические прорывы в области формальной проверки».

ранняя жизнь и образование

Брайант родился 27 октября 1952 года и является сыном Джона Х. Брайанта и Барбары Эверитт Брайант и внуком Уильяма Литтелла Эверитта , бывшего декана факультета электротехники Иллинойского университета в Урбана-Шампейн (1949–68). ). Его сестра — Лоис Брайант, известная художница по текстилю ( https://loisbryantstudio.com/home.html ). Брайант вырос в Бирмингеме, штат Мичиган . Начиная с 1970 года, он учился в Мичиганском университете , где в 1973 году получил степень бакалавра в области прикладной математики ., опубликованная в 1977 году, известна как одна из первых публикаций по распределенному моделированию. [2] Он получил докторскую степень в Массачусетском технологическом институте в 1981 году. [3]

Карьера

  • С 1981 по 1984 год Брайант был доцентом компьютерных наук в Калифорнийском технологическом институте . Области его исследований включали модели схем СБИС , логическое моделирование и тестирование схем. Он также читал курсы компьютерной архитектуры, теории цифровых систем и компьютерных алгоритмов.
  • В 1984 году Брайант поступил на факультет Карнеги-Меллона в качестве доцента компьютерных наук. Он продолжил свои исследования в области моделирования СБИС, проверки схем СБИС, символьных манипуляций и параллельных вычислений.
  • Он был приглашенным научным сотрудником Fujitsu Laboratories , Ltd., Кавасаки, Япония, с 1990 по 1991 год.
  • В 1992 году он стал профессором Университета Карнеги-Меллон. Профессор Брайант преподавал компьютерную архитектуру с 1992 по 1997 год.
  • С 2004 по 2014 год он занимал пост декана факультета компьютерных наук Университета Карнеги-Меллона. За время его пребывания в должности общее количество учащихся в SCS увеличилось более чем на 50 процентов. [4]
  • В 2003 году Брайант был избран членом Национальной инженерной академии за вклад в символическое моделирование и логическую проверку.
  • С 2011 по 2013 год он входил в состав жюри премии Infosys в области инженерии и информатики [5] .
  • В 2014–2015 годах он был помощником директора по исследованиям и разработкам в области информационных технологий в Управлении науки и технологической политики Белого дома , где занимался робототехникой, машинным обучением, высокопроизводительными вычислениями, полупроводниковыми технологиями и облачными вычислениями и предоставлял анализ и консультации по Big Data.
  • Доктор Брайант в настоящее время является профессором Школы компьютерных наук . Его последние области исследований включают официальную проверку аппаратного и программного обеспечения, системное тестирование и образование в области компьютерных наук. Он читает курс 15-213: Введение в компьютерные системы с профессором Дэвидом Р. О'Халлароном. Их книга « Компьютерные системы: взгляд программиста» , которая знакомит студентов с аппаратным обеспечением, операционной системой, компилятором и компьютерными сетями, используется более чем в 300 университетах по всему миру.

Исследования и публикации

  • За последние годы Брайант провел множество исследований в области формальной проверки аппаратного и программного обеспечения, а также компьютерных систем. Его наиболее известной публикацией [6] в 1986 году была «Алгоритмы на основе графов для манипулирования булевыми функциями» , в которой бинарная диаграмма принятия решений (BDD) была представлена ​​как новая структура данных для представления булевых функций и алгоритмов манипулирования. BDD широко используются в таких областях, как тестирование и синтез цифровых схем, а также планирование искусственного интеллекта. По словам известного компьютерного ученого Дональда Кнута , BDD считались «одной из немногих действительно фундаментальных структур данных, появившихся за последние двадцать пять лет». [2] После своего исследования он опубликовалеще одна статья [7] по учебному пособию и обновлениям по BDD в 1992 году. Его статья по BDD была отмечена наградой за самое высокое количество цитирований в базе данных Citeseer среди любой литературы по компьютерным наукам. [1]
  • Его основополагающая работа по проверке цифровых схем получила множество наград от IEEE и других профессиональных обществ (см. ниже). Его статья о формальной верификации с помощью символьной оценки частично упорядоченных траекторий [8] была опубликована в 1995 году. Метод символической оценки траектории, описанный в его статье, получил широкое распространение в отрасли, особенно в Intel . [3] Начиная с 2004 года Брайант продвигает новые исследовательские инициативы в области вычислений с интенсивным использованием данных.
  • Брайант и профессор Дэвид Р. О'Халларон из Университета Карнеги-Меллона вместе написали книгу «Компьютерные системы: взгляд программиста», в которой они используют новый подход к обучению компьютерным системам. Вместо того, чтобы подчеркивать проектирование и реализацию систем, книга фокусируется на обучении студентов тому, как системы — архитектура, компиляторы, операционные системы и компьютерные сети — влияют на поведение и производительность программы. Эта книга в третьем издании была переведена на корейский, китайский, македонский и русский языки и используется учреждениями по всему миру. [9]

Награды и отличия

  • Брайант является членом IEEE и ACM .
  • Он является членом Национальной инженерной академии и Американской академии искусств и наук .
  • В 1998 году он получил премию ACM Kanellakis Theory and Practice Award (вместе с Эдмундом М. Кларком , Кеном Макмилланом и Алленом Эмерсоном ) .
  • В 1989 году он был награжден премией Бейкера IEEE WRG за лучшую статью, появившуюся в любой публикации IEEE за предыдущий год (1987).
  • В 2007 году Брайант получил премию Эммануэля Р. Пиора от IEEE за исследования инструментов для проверки конструкций полупроводников перед их производством. [10]
  • В 2009 году Брайант был награжден премией EDAC/IEEE Фила Кауфмана за «основные технологические прорывы в области формальной проверки».
  • В 2010 году он получил техническую премию А. Ричарда Ньютона в области автоматизации электронного проектирования. [11]

использованная литература

  1. ^ a b «Наиболее цитируемые исходные документы» . Цитесир . Сентябрь 2006 года . Проверено 5 марта 2007 г.
  2. ^ a b "Дом Брайанта" . www.cs.cmu.edu . Проверено 1 февраля 2018 г. .
  3. ^ a b "Рэндал Брайант - Образование и публикации" .
  4. ^ Университет, Карнеги-Меллон. «Пресс-релиз: бывший декан компьютерных наук Карнеги-Меллона теперь помогает в политическом управлении Белого дома - Новости - Университет Карнеги-Меллона» . Проверено 1 февраля 2018 г. .
  5. ^ "Приз Infosys - Жюри 2013" . Научный фонд Infosys . Проверено 1 марта 2021 г. .
  6. ↑ Брайант, RE (август 1986 г.). «Алгоритмы на основе графов для управления булевыми функциями». IEEE-транзакции на компьютерах . С-35 (8): 677–691. архив : cs/ 0508044 . doi : 10.1109/TC.1986.1676819 . ISSN 0018-9340 . S2CID 10385726 .  
  7. ^ Брайант, Рэндал Э. (1992-09-01). «Символические логические операции с упорядоченными диаграммами бинарных решений» (PDF) . Компьютерные опросы ACM . 24 (3): 293–318. дои : 10.1145/136035.136043 . ISSN 0360-0300 . S2CID 1933530 .   
  8. ^ Сегер, Карл-Йохан Х .; Брайант, Рэндал Э. (1 марта 1995 г.). «Формальная проверка символической оценкой частично упорядоченных траекторий» . Формальные методы проектирования систем . 6 (2): 147–189. doi : 10.1007/BF01383966 . ISSN 0925-9856 . S2CID 14804600 .  
  9. ^ Университет, Карнеги-Меллон. «Рэндал Брайант - Институт исследования программного обеспечения - Университет Карнеги-Меллона» . www.isri.cmu.edu . Проверено 1 февраля 2018 г. .
  10. ^ "Получатели премии IEEE Эмануэля Р. Пиоре" (PDF) . IEEE . Архивировано из оригинала (PDF) 24 ноября 2010 г. Проверено 20 марта 2021 г. .
  11. ^ «ACM / IEEE A. Премия Ричарда Ньютона за техническое воздействие в области автоматизации проектирования электроники» . СИГДА . Проверено 2 февраля 2018 г.
Получено с " https://en.wikipedia.org/w/index.php?title=Randal_Bryant&oldid=1032236081 "
Contribute a better translation