Байрон Кук (ученый-компьютерщик) - Byron Cook (computer scientist)
 | Этот биография живого человека требует дополнительных цитаты за проверка. (Сентябрь 2011 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
Д-р Байрон Кук | |
|---|---|
| Национальность | Соединенные Штаты |
| Род занятий | исследователь информатики |
| Известен | Анализ прекращения |
Д-р Байрон Кук американец Информатика исследователь в Университетский колледж Лондона.[1] Научные интересы Байрона включают программный анализ /проверка, языки программирования, доказательство теорем, логика, аппаратный дизайн и операционные системы. Недавняя работа Байрона была сосредоточена на разработке автоматических инструментов для
- Доказательство свойств биологических моделей,
- Прекращение и доказательство живучести,[2] и
- Обнаружение инвариантов в отношении изменяемых структур данных.[3]
Награды и призы
В 2009 году Кук выиграл Премия Роджера Нидхема. Его публичная лекция была на тему «Доказательство того, что программы в конечном итоге делают что-то хорошее».[4]
Кук был избран членом Королевской инженерной академии в 2019 году. [5]
Рекомендации
- ^ "Университетский колледж Лондона".
- ^ «Сайт проекта Т2». Архивировано из оригинал на 2015-06-26.
- ^ «Сайт проекта SLAyer». Архивировано из оригинал на 2008-12-08.
- ^ Премия Роджера Нидхема на сайте БКС
- ^ [https://aws.amazon.com/blogs/security/aws-security-profile-byron-cook-director-aws-automated-reasoning-group Блог Amazon Web Services