Оглавление
Премия Herbrand Award
-
Описание премии
- Премия Herbrand Award присуждается за выдающийся вклад в автоматизированное логическое мышление.
- Награда названа в честь французского ученого Жака Эрбрана.
- Присуждается не более одного раза на CADE или IJCAR.
- Приз составляет 1000 долларов США.
-
Процесс номинации и присуждения
- Номинироваться может любой желающий.
- Награда присуждается после голосования среди попечителей CADE и бывших лауреатов.
- Обычно участвует программный комитет CADE/IJCAR.
-
Прошлые лауреаты
- 1990-е годы: Ларри Вос, Вуди Бледсо, Джон Алан Робинсон, У Вэньцзюнь, Жерар Юэ, Роберт С. Бойер и Джей Стротер Мур.
- 2000-е годы: Уильям У. Маккьюн, Дональд У. Лавленд, Марк Э. Стикель, Питер Б. Эндрюс, Харальд Ганзингер, Мартин Дэвис, Вольфганг Бибель, Алан Банди, Эдмунд М. Кларк, Дипак Капур.
- 2010-е годы: Дэвид Плейстед, Нахум Дершовиц, Примерка Мелвина, C. Грег Нельсон, Роберт Л. Констебль, Андрей Воронков, Зоар Манна и Ричард Уолдингер, Лоуренс К. Полсон, Бруно Бухбергер, Николай Бьернер и Леонардо де Моура.
- 2020-е годы: Франц Баадер, Тобиас Нипков, Натараджан Шанкар, Моше Варди, Армин Бир.
-
Дополнительная информация
- Премия Жака Эрбрана присуждается Французской академией наук за математику и физику.
- Список наград в области компьютерных наук.