Рэндал Брайант
 |
Рэндал Брайант | |
|---|---|
 Брайант в 2006 году | |
| Рожденный | 27 октября 1952 г. Соединенные Штаты |
| Альма-матер | Мичиганский университет |
| Известный | Бинарные диаграммы решений (BDD), формальная проверка аппаратного и программного обеспечения. |
| Награды | Премия Пэрис Канеллакис в области теории и практики Премия Фила Кауфмана |
| Научная карьера | |
| Поля | Аппаратное обеспечение, системное программное обеспечение, сеть |
| Учреждения | Школа компьютерных наук Университета Карнеги-Меллона |
Рэндал Э. Брайант (родился 27 октября 1952 г.) — американский ученый-компьютерщик и академик , известный своими исследованиями по формальной проверке цифрового оборудования и программного обеспечения . Брайант был преподавателем Университета Карнеги-Меллона с 1984 года. С 2004 по 2014 год он занимал должность декана Школы компьютерных наук (SCS) Карнеги-Меллона. Доктор Брайант вышел на пенсию и 30 июня стал почетным профессором Университета основателей. 2020.
Брайант получил множество наград за свои исследования в области проверки аппаратного и программного обеспечения, а также алгоритмов и компьютерной архитектуры . Его статья 1986 года о символических логических манипуляциях с использованием упорядоченных двоичных диаграмм решений (BDD) имеет наибольшее количество цитирований среди всех публикаций в Citeseer . базе данных литературы по информатике [1] В 2009 году Брайант был награжден премией Фила Кауфмана от Консорциума EDA «за выдающиеся технологические прорывы в области формальной проверки».
Молодость образование и
Брайант родился 27 октября 1952 года и является сыном Джона Х. Брайанта и Барбары Эверитт Брайант , а также внуком Уильяма Литтелла Эверитта , бывшего декана факультета электротехники Университета Иллинойса в Урбана-Шампейн (1949–1949) . 68). Его сестра - Лоис Брайант, художница по текстилю. Брайант вырос в Бирмингеме, штат Мичиган . Начиная с 1970 года, он учился в Мичиганском университете , где в 1973 году получил степень бакалавра прикладной математики. Его магистерская диссертация « Моделирование компьютерных систем с архитектурой пакетной связи» , опубликованная в 1977 году, известна как одна из первых публикаций по распределенному моделированию. . [2] Он получил докторскую степень в Массачусетском технологическом институте в 1981 году. [3]
Карьера [ править ]
- С 1981 по 1984 год Брайант был доцентом кафедры информатики Калифорнийского технологического института . Области его исследований включали модели схем СБИС , логическое моделирование и тестирование схем. Он также преподавал курсы по компьютерной архитектуре, теории цифровых систем и компьютерным алгоритмам.
- В 1984 году Брайант поступил на факультет Карнеги-Меллона в качестве доцента кафедры информатики. Он продолжил свои исследования в области моделирования СБИС, проверки схем СБИС, символьных манипуляций и параллельных вычислений.
- он был приглашенным научным сотрудником в Fujitsu Laboratories , Ltd. С 1990 по 1991 год
- В 1992 году он стал профессором университета Карнеги-Меллон. Брайант преподавал компьютерную архитектуру с 1992 по 1997 год.
- С 2004 по 2014 год он занимал должность декана факультета компьютерных наук Университета Карнеги-Меллона. За время его пребывания в должности общий набор студентов в SCS увеличился более чем на 50 процентов. [4]
- В 2003 году Брайант был избран членом Национальной инженерной академии за вклад в символическое моделирование и проверку логики.
- в области инженерии и информатики Он входил в состав жюри премии Infosys с 2011 по 2013 год. [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 Эммануэля Р. Пиоре за исследования инструментов для проверки конструкций полупроводников перед их производством. [10]
- В 2009 году Брайант был награжден премией EDAC/IEEE Фила Кауфмана за «выдающиеся технологические прорывы в области формальной проверки».
- В 2010 году он получил техническую премию А. Ричарда Ньютона в области автоматизации проектирования электроники. [11]
Ссылки [ править ]
- ↑ Перейти обратно: Перейти обратно: а б «Наиболее цитируемые исходные документы» . Гражданин . Сентябрь 2006 года . Проверено 5 марта 2007 г.
- ↑ Перейти обратно: Перейти обратно: а б «Дом Брайанта» . www.cs.cmu.edu . Проверено 1 февраля 2018 г.
- ↑ Перейти обратно: Перейти обратно: а б «Рэндал Брайант — Образование и публикации» .
- ^ Университет Карнеги-Меллон. «Пресс-релиз: Бывший декан факультета компьютерных наук Карнеги-Меллона теперь помогает в политическом управлении Белого дома - Новости - Университет Карнеги-Меллона» . Проверено 1 февраля 2018 г.
- ^ «Приз Infosys – жюри 2013» . Научный фонд Infosys . Проверено 1 марта 2021 г.
- ^ Брайант, Р.Э. (август 1986 г.). «Алгоритмы на основе графов для манипулирования булевыми функциями». Транзакции IEEE на компьютерах . С-35 (8): 677–691. arXiv : cs/0508044 . дои : 10.1109/TC.1986.1676819 . ISSN 0018-9340 . S2CID 10385726 .
- ^ Брайант, Рэндал Э. (1 сентября 1992 г.). «Символические логические манипуляции с упорядоченными диаграммами двоичных решений» (PDF) . Обзоры вычислительной техники ACM . 24 (3): 293–318. дои : 10.1145/136035.136043 . ISSN 0360-0300 . S2CID 1933530 .
- ^ Сегер, Карл-Йохан Х.; Брайант, Рэндал Э. (1 марта 1995 г.). «Формальная проверка путем символической оценки частично упорядоченных траекторий» . Формальные методы проектирования систем . 6 (2): 147–189. дои : 10.1007/BF01383966 . ISSN 0925-9856 . S2CID 14804600 .
- ^ Университет Карнеги-Меллон. «Рэндал Брайант — Институт исследований программного обеспечения — Университет Карнеги-Меллона» . www.isri.cmu.edu . Проверено 1 февраля 2018 г.
- ^ «Получатели премии IEEE Эмануэля Р. Пиоре» (PDF) . ИИЭЭ . Архивировано из оригинала (PDF) 24 ноября 2010 года . Проверено 20 марта 2021 г.
- ^ «Премия ACM/IEEE А. Ричарда Ньютона за техническое влияние в области автоматизации электронного проектирования» . СИГДА . Проверено 2 февраля 2018 г.
