Рэндал Брайант
(Перенаправлен от Рэнди Брайанта )
 | Эта биография живого человека слишком сильно опирается на ссылки на первичные источники . ( февраль 2018 г. ) |
Рэндал Брайант | |
|---|---|
 Брайант в 2006 году | |
| Рожденный | 27 октября 1952 г. Соединенные Штаты |
| Альма -матер | Мичиганский университет |
| Известен для | Бинарные диаграммы принятия решений (BDD), формальная оборудование и проверка программного обеспечения |
| Награды | Премия теории и практики Парижа Канеллакиса Премия Фила Кауфмана |
| Научная карьера | |
| Поля | Аппаратное, системное программное обеспечение, сеть |
| Учреждения | Школа компьютерных наук , Университет Карнеги -Меллона |
Рэндал Э. Брайант (родился 27 октября 1952 года) - американский компьютерный ученый и академик , отмеченный своим исследованием по формально проверке цифрового оборудования и программного обеспечения . Брайант является преподавателем в Университете Карнеги -Меллона с 1984 года. Он занимал должность декана Школы компьютерных наук (SCS) в Карнеги -Меллон с 2004 по 2014 год. 2020.
Брайант получил много признаний для исследования аппаратного и программного обеспечения, а также алгоритмы и компьютерную архитектуру . Его документ 1986 года о символических логических манипуляциях с использованием упорядоченных бинарных схем принятия решений (BDDS) имеет наибольшее количество цитирований в каждой публикации в базе данных CiteSeer по информатике. [ 1 ] В 2009 году Брайант был удостоен премии Фила Кауфмана « Эда -Консорциумом за его оригинальные технологические прорывы в области формальной проверки».
Ранняя жизнь и образование
[ редактировать ]Брайант родился 27 октября 1952 года и является сыном Джона Х. Брайанта и Барбары Эверитт Брайант , а также внук Уильяма Литтелла Эверитта , бывшего декана декана по электротехнике в Университете Иллинойса в Урбане -Шампейне (1949– 68). Его сестра Лоис Брайант, художник -текстиль. Брайант вырос в Бирмингеме, штат Мичиган . Начиная с 1970 года, он учился в Мичиганском университете , где он получил степень бакалавра в области прикладной математики в 1973 году. Известно, что его мастер -тезис о моделировании компьютерных систем архитектуры пакетов , опубликованных в 1977 году, является одной из первых публикаций по распределенной симуляции Полем [ 2 ] Он получил докторскую степень от Массачусетского технологического института в 1981 году. [ 3 ]
Карьера
[ редактировать ]- С 1981 по 1984 год Брайант был доцентом кафедры компьютерных наук в Калифорнийском технологическом институте . Его области исследований включали модели схемы VLSI , логическое моделирование и тестирование схемы. Он также преподавал курсы по компьютерной архитектуре, теории цифровых систем и компьютерных алгоритмах.
- В 1984 году Брайант присоединился к преподаванию в Карнеги -Меллон в качестве доцента кафедры компьютерных наук. Он продолжил исследование моделирования VLSI, проверки схемы VLSI, символических манипуляций и параллельных вычислений.
- Он был посещающим научным сотрудником в 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 году были «алгоритмы на основе графиков для манипулирования логической функцией» , в которой бинарная диаграмма принятия решений (BDDS) была представлена в качестве новой структуры данных для представления логических функций и алгоритмов манипуляции. BDDS широко использовался в таких областях, как тестирование цифровых схем и синтез и планирование искусственного интеллекта. По словам знаменитого компьютерного ученого Дональда Кнута , BDDS считался «единственной действительно фундаментальными структурами данных, которые появились за последние двадцать пять лет». [ 2 ] После своего исследования он опубликовал еще одну статью [ 7 ] на учебном пособии и обновлении о BDDS в 1992 году. Его статья о BDDS была присуждена за то, что он имел наибольшее количество цитата в базе данных Citeeseer по всей литературе по информатике. [ 1 ]
- Его работа по проверке работы цифровых цепей и семинальных работ получила многочисленные награды от IEEE и других профессиональных обществ (см. Ниже). Его статья о формальной проверке с помощью символической оценки частично заказанных траекторий [ 8 ] был опубликован в 1995 году. Метод оценки символической траектории, описанный в его статье, был широко распространен в отрасли, в частности, используется Intel . [ 3 ] Начиная с 2004 года, Брайант продвигает новые исследовательские инициативы в области вычислений с интенсивными данными.
- Брайант и профессор Дэвид Р. О'Халларон в Университете Карнеги -Меллона вместе написали книгу «Компьютерные системы: перспектива программиста», в которой они используют новый подход к обучению компьютерным системам. Вместо того, чтобы подчеркивать проектирование и внедрение систем, книга посвящена обучению студентов тому, как системы - архитектура, компиляторы, операционные системы и компьютерные сети - влияют на поведение и производительность программы. Эта книга, в настоящее время в своем третьем издании, была переведена в корейский, китайский, македонский и русский и используется учреждениями по всему миру. [ 9 ]
Награды и награды
[ редактировать ]- Брайант - член IEEE и ACM .
- Он является членом Национальной инженерной академии и Американской академии искусств и наук .
- В 1998 году он получил награду ACM Kanellakis Theory and Practice Award (вместе с Эдмундом М. Кларком , Кеном Макмилланом и Алленом Эмерсоном )
- В 1989 году он был удостоен премии IEEE WRG Baker за лучшую статью, появившуюся в любой публикации IEEE в предыдущем году (1987).
- В 2007 году Брайант получил премию IEEE Emmanuel R. Piore за исследование инструментов для проверки дизайнов полупроводника до их производства. [ 10 ]
- В 2009 году Брайант был награжден EDAC/IEEE Phil Kaufman за его «оригинальные технологические прорывы в области формальной проверки».
- В 2010 году он получил техническую награду А. Ричарда Ньютона в области автоматизации электронного дизайна. [ 11 ]
Ссылки
[ редактировать ]- ^ Jump up to: а беременный «Самые цитируемые исходные документы» . Citeseer . Сентябрь 2006 г. Получено 5 марта 2007 года .
- ^ Jump up to: а беременный «Дом Брайанта» . www.cs.cmu.edu . Получено 2018-02-01 .
- ^ Jump up to: а беременный «Рэндал Брайант - образование и публикации» .
- ^ Университет, Карнеги Меллон. «Пресс -релиз: бывший декан компьютерной науки Carnegie Mellon теперь помогает в офисе политики Белого дома - новости - Университет Карнеги -Меллона» . Получено 2018-02-01 .
- ^ «Приз Infosys - жюри 2013» . Infosys Science Foundation . Получено 1 марта 2021 года .
- ^ Брайант, Re (август 1986). «Алгоритмы на основе графиков для манипуляции с логическими функциями». IEEE транзакции на компьютерах . C-35 (8): 677–691. ARXIV : CS/0508044 . doi : 10.1109/tc.1986.1676819 . ISSN 0018-9340 . S2CID 10385726 .
- ^ Брайант, Рэндал Э. (1992-09-01). «Символические логические манипуляции с упорядоченными бинарными диаграммами» (PDF) . ACM вычислительные исследования . 24 (3): 293–318. doi : 10.1145/136035.136043 . ISSN 0360-0300 . S2CID 1933530 .
- ^ Сегер, Карл-Джохан Х.; Брайант, Рэндал Э. (1995-03-01). «Формальная проверка по символической оценке частично упорядоченных траекторий» . Формальные методы в проектировании системы . 6 (2): 147–189. doi : 10.1007/bf01383966 . ISSN 0925-9856 . S2CID 14804600 .
- ^ Университет, Карнеги Меллон. «Рэндал Брайант - Институт программных исследований - Университет Карнеги -Меллона» . www.isri.cmu.edu . Получено 2018-02-01 .
- ^ «Получатели премии IEEE Emanuel R. Piore» (PDF) . IEEE . Архивировано из оригинала (PDF) 24 ноября 2010 года . Получено 20 марта 2021 года .
- ^ «ACM/IEEE A. Richard Newton Technical Impact Award в области автоматизации электронного дизайна» . Сигда . Получено 2 февраля 2018 года .
