Рэндал Брайант - Randal Bryant

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

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

На протяжении многих лет доктор Брайант получил множество наград за свои исследования в области проверки аппаратного и программного обеспечения, а также алгоритмов и компьютерной архитектуры. Его статья 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]
  • В 2014–2015 годах он был заместителем директора по исследованиям и развитию информационных технологий в Управление научно-технической политики Белого дома, где он работал над робототехникой, машинным обучением, высокопроизводительными вычислениями, полупроводниковыми технологиями и облачными вычислениями, а также предоставлял анализ и консультации по большим данным.
  • Доктор Брайант в настоящее время является профессором Школа компьютерных наук. Его последние области исследований включают формальную проверку аппаратного и программного обеспечения, системное тестирование и образование в области информатики. Он преподает курс 15-213: Введение в компьютерные системы с профессором Дэвидом Р. О'Халлароном. Их книга Компьютерные системы: взгляд программиста, который знакомит студентов с оборудованием, операционной системой, компилятором и компьютерными сетями, используется более чем 300 университетами по всему миру.

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

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

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

Рекомендации

  1. ^ а б «Наиболее цитируемые исходные документы». Citeseer. Сентябрь 2006 г.. Получено 5 марта, 2007.
  2. ^ а б «Дом Брайанта». www.cs.cmu.edu. Получено 2018-02-01.
  3. ^ а б «Рэндал Брайант - образование и публикации».
  4. ^ Университет Карнеги-Меллона. «Пресс-релиз: бывший декан факультета компьютерных наук Карнеги-Меллона теперь помогает в управлении политикой Белого дома - Новости - Университет Карнеги-Меллона». Получено 2018-02-01.
  5. ^ Брайант, Р. Э. (август 1986 г.). "Графические алгоритмы для манипуляции логическими функциями". Транзакции IEEE на компьютерах. С-35 (8): 677–691. arXiv:cs / 0508044. Дои:10.1109 / TC.1986.1676819. ISSN  0018-9340. S2CID  10385726.
  6. ^ Брайант, Рэндал Э. (1992-09-01). «Символьная логическая манипуляция с упорядоченными диаграммами двоичных решений» (PDF). Опросы ACM Computing. 24 (3): 293–318. Дои:10.1145/136035.136043. ISSN  0360-0300. S2CID  1933530.
  7. ^ Seger, Carl-Johan H .; Брайант, Рэндал Э. (1995-03-01). «Формальная проверка символьной оценкой частично упорядоченных траекторий». Формальные методы в системном дизайне. 6 (2): 147–189. Дои:10.1007 / BF01383966. ISSN  0925-9856. S2CID  14804600.
  8. ^ Университет Карнеги-Меллона. «Рэндал Брайант - Институт исследований программного обеспечения - Университет Карнеги-Меллона». www.isri.cmu.edu. Получено 2018-02-01.
  9. ^ «Премия ACM / IEEE А. Ричарда Ньютона за техническое влияние в области автоматизации проектирования электроники». SIGDA. Получено 2 февраля 2018.