Оглавление [Скрыть]
Рэндал Брайант
-
Ранние годы и образование
- Рэндал Э. Брайант родился 27 октября 1952 года, сын и внук известных ученых.
- Получил образование в Мичиганском университете и Массачусетском технологическом институте, где его магистерская диссертация стала одной из первых публикаций по распределенному моделированию.
-
Карьера и достижения
- Работал ассистентом профессора в Калифорнийском технологическом институте и университете Карнеги-Меллон, где его исследования включали моделирование СБИС, верификацию и параллельные вычисления.
- Получил признание за свои работы в области формальной верификации, включая разработку BDD, и был удостоен множества наград, включая премию Фила Кауфмана.
- В 2020 году вышел на пенсию и стал почетным профессором.
-
Последние исследования и публикации
- Брайант продолжает свои исследования в области формальной верификации и системного тестирования.
- Его книга “Компьютерные системы: взгляд программиста” используется в более чем 300 университетах и получила широкое признание.
-
Награды и почести
- Брайант является членом IEEE, ACM, Национальной инженерной академии и Американской академии искусств и наук.
- Получил множество наград за свои исследования, включая премию ACM и премию IEEE Emmanuel R. Пиоре.