Рэндал Э. Брайант (родился 27 октября 1952 г.) - американский ученый-компьютерщик и академик, известный своими исследованиями по формальной проверке цифрового оборудования и программного обеспечения . Брайант был преподавателем в Университете Карнеги-Меллона с 1984 года. Он работал деканом факультета компьютерных наук (SCS) в Карнеги-Меллон с 2004 по 2014 год. Д-р Брайант вышел на пенсию и 30 июня стал почетным профессором Университета основателей. 2020.
Рэндал Брайант | |
---|---|
Родившийся | Соединенные Штаты | 27 октября 1952 г.
Альма-матер | университет Мичигана |
Известен | Разработка структуры данных Binary Decision Diagrams (BDD), формальная проверка аппаратного и программного обеспечения |
Награды | Премия Пэрис Канеллакис в области теории и практики Премия Фила Кауфмана |
Научная карьера | |
Поля | Аппаратное обеспечение, системное программное обеспечение, сети |
Учреждения | Школа компьютерных наук , Carnegie Mellon University |
За прошедшие годы доктор Брайант получил множество наград за свои исследования в области проверки аппаратного и программного обеспечения, а также алгоритмов и компьютерной архитектуры. Его статья 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]
- С 2011 по 2013 год входил в состав жюри премии Infosys в области инженерии и информатики [5].
- В 2014–2015 годах он был помощником директора по исследованиям и разработкам информационных технологий в Управлении научно-технической политики Белого дома , где он работал над робототехникой, машинным обучением, высокопроизводительными вычислениями, полупроводниковыми технологиями и облачными вычислениями и предоставлял анализ и консультации по большим данным.
- Доктор Брайант в настоящее время является профессором Школы компьютерных наук . Его последние области исследований включают формальную проверку аппаратного и программного обеспечения, системное тестирование и образование в области информатики. Он ведет курс 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 Baker Prize за лучшую статью, появившуюся в любой публикации IEEE за предыдущий год (1987).
- В 2007 году Брайант получил премию IEEE Emmanuel R. Piore Award за свои исследования инструментов для проверки конструкции полупроводников до их производства. [10]
- В 2009 году Брайант был награжден премией EDAC / IEEE Phil Kaufman за его «основополагающие технологические открытия в области формальной верификации».
- В 2010 году он получил техническую премию А. Ричарда Ньютона в области автоматизации проектирования электроники. [11]
Рекомендации
- ^ a b «Наиболее цитируемые исходные документы» . Citeseer . Сентябрь 2006 . Проверено 5 марта 2007 года . CS1 maint: обескураженный параметр ( ссылка )
- ^ а б «Дом Брайанта» . www.cs.cmu.edu . Проверено 1 февраля 2018 .
- ^ а б «Рэндал Брайант - образование и публикации» .
- ^ Университет Карнеги-Меллона. «Пресс-релиз: бывший декан факультета компьютерных наук Карнеги-Меллона теперь помогает в управлении политикой Белого дома - Новости - Университет Карнеги-Меллона» . Проверено 1 февраля 2018 .
- ^ «Премия Infosys - жюри 2013» . Научный фонд Infosys . Проверено 1 марта 2021 года .
- ^ Брайант, Р. Э. (август 1986 г.). «Графические алгоритмы для манипуляции логическими функциями». Транзакции IEEE на компьютерах . С-35 (8): 677–691. arXiv : cs / 0508044 . DOI : 10.1109 / TC.1986.1676819 . ISSN 0018-9340 . S2CID 10385726 .
- ^ Брайант, Рэндал Э. (1992-09-01). «Символьные логические операции с упорядоченными диаграммами двоичных решений» (PDF) . ACM Computing Surveys . 24 (3): 293–318. DOI : 10.1145 / 136035.136043 . ISSN 0360-0300 . S2CID 1933530 .
- ^ Seger, Carl-Johan H .; Брайант, Рэндал Э. (1995-03-01). «Формальная проверка символьной оценкой частично упорядоченных траекторий» . Формальные методы в системном дизайне . 6 (2): 147–189. DOI : 10.1007 / BF01383966 . ISSN 0925-9856 . S2CID 14804600 .
- ^ Университет Карнеги-Меллона. «Рэндал Брайант - Институт исследований программного обеспечения - Университет Карнеги-Меллона» . www.isri.cmu.edu . Проверено 1 февраля 2018 .
- ^ «Получатели премии IEEE Эмануэля Р. Пиоре» (PDF) . IEEE . Архивировано из оригинального (PDF) 24 ноября 2010 года . Проверено 20 марта 2021 года . CS1 maint: обескураженный параметр ( ссылка )
- ^ «Премия ACM / IEEE А. Ричарда Ньютона за техническое влияние в области автоматизации проектирования электроники» . SIGDA . Проверено 2 февраля 2018 . CS1 maint: обескураженный параметр ( ссылка )