Премия Herbrand - Herbrand Award
В Премия Herbrand за выдающийся вклад в автоматизированное мышление это награда, данная CADE Inc. (хотя и предшествует официальному включению CADE) в честь отдельных лиц или групп за важный вклад в сферу автоматический вычет. Премия названа в честь Французский ученый Жак Эрбранд и дается не более одного раза на CADE или IJCAR конференция. Он идет с призом в 1000 долларов США. Кто угодно может быть номинирован, награда присуждается после голосования среди попечителей CADE и бывших получателей, обычно при участии программного комитета CADE / IJCAR.
Получатели
Премией в прошлом были:
1990-е
- Ларри Вос (1992)
- Вуди Бледсо (1994)
- Джон Алан Робинсон (1996)
- У Вэньцзюнь (1997)
- Жерар Юэ (1998)
- Роберт С. Бойер и Дж. Стротер Мур (1999)
2000-е
- Уильям В. МакКьюн (2000)
- Дональд В. Лавленд (2001)
- Марк Э. Стикель (2002).
- Питер Б. Эндрюс (2003)
- Харальд Ганзингер (2004)
- Мартин Дэвис (2005)
- Вольфганг Бибель (2006)
- Алан Банди (2007)
- Эдмунд М. Кларк (2008)
- Дипак Капур (2009)
2010-е
- Дэвид Плейстед (2010)
- Нахум Дершовиц (2011)
- Мелвин Фиттинг (2012)
- C Грег Нельсон (2013)
- Роберт Л. Констебль (2014)
- Андрей Воронков (2015)
- Зохар Манна и Ричард Уолдингер (2016)
- Лоуренс К. Полсон (2017)
- Бруно Бухбергер (2018)
- Николай Бьёрнер и Леонардо де Моура (2019)
2020-е
- Франц Баадер (2020)
Смотрите также
- Список наград в области информатики
- Приз Жака Эрбрана - Французской академией наук по математике и физике