Байрон Кук (ученый-компьютерщик)
 | Эта биография живого человека нуждается в дополнительных цитатах для проверки . ( сентябрь 2011 г. ) |
Доктор Байрон Кук | |
|---|---|
| Национальность | Американский |
| Занятие | исследователь информатики |
| Известный | Анализ завершения |
Доктор Байрон Кук — американский исследователь информатики из Университетского колледжа Лондона . [ 1 ] Научные интересы Байрона включают анализ / верификацию программ , языки программирования, доказательство теорем , логику, проектирование аппаратного обеспечения и операционные системы . Недавняя работа Байрона была сосредоточена на разработке автоматических инструментов для
- Доказательство свойств биологических моделей,
- Доказательство прекращения и жизнеспособности, [ 2 ] и
- Обнаружение инвариантов изменяемых структур данных. [ 3 ]
Награды и премии
[ редактировать ]В 2009 году Кук получил премию Роджера Нидэма . Его публичная лекция была посвящена теме «Доказательство того, что программы в конечном итоге приносят что-то хорошее». [ 4 ]
Кук был избран членом Королевской инженерной академии в 2019 году. [ 5 ]
Ссылки
[ редактировать ]- ^ «Университетский колледж Лондона» .
- ^ «Сайт проекта Т2» . Архивировано из оригинала 26 июня 2015 года.
- ^ «Сайт проекта SLAyer» . Архивировано из оригинала 8 декабря 2008 года.
- ^ Премия Роджера Нидхэма на сайте BCS
- ^ Блог Amazon Web Services
Внешние ссылки
[ редактировать ]| Международный | |
|---|---|
| Национальный | |
