Премия Эрбрана
Премия Эрбрана за выдающийся вклад в автоматизированное мышление — это награда, вручаемая Конференцией по автоматизированной дедукции (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)
- К. Грег Нельсон (2013)
- Роберт Л. Констебль (2014)
- Andrei Voronkov (2015)
- Зоар Манна и Ричард Уолдингер (2016)
- Лоуренс К. Полсон (2017)
- Бруно Бухбергер (2018)
- Николай Бьёрнер и Леонардо де Моура (2019)
2020-е годы
[ редактировать ]- Франц Баадер (2020)
- Тобиас Нипков (2021)
- Натараджан Шанкар (2022)
- Моше Варди (2023)
- Армин Бьер (2024)
См. также
[ редактировать ]- Список наград в области информатики
- Премия Жака Эрбрана — Французской академии наук в области математики и физики.