Prof. Bruno Buchberger erhält "Herbrand Award for Automated Reasoning" in Oxford
21.08.2018
Prof. Bruno Buchberger hat im Rahmen des Weltkongresses für mathematische Logik (FLOC) an der Universität Oxford den "Herbrand Award for Automated Reasoning" erhalten.
Details zum Preis finden Sie hier.
Das Gebiet des "Automated Reasoning" bereitet aus Buchbergers Sicht die nächste Stufe der "Artificial Intelligence" vor. Der Herbrand Preis ist in dem Gebiet des "Automated Reasoning" der international renommierteste Preis. Er wurde bisher erst 25 Mal vergeben und erst 6 Mal an Europäer.
Text der Award Urkunde:
The International Conference on Automated Deduction (CADE) Herbrand Award for Distinguished Contributions to Automated Reasoning presented to
Bruno Buchberger
for the invention, implementation, and analysis of the Gröbner-basis method, resulting in the reshaping of symbolic computation towards comprehensive and widely applicable tools.
Presented at IJCAR 2018, the 9th International Joint Conference on Automated Reasoning July, 2018.Christoph Weidenbach President of CADE Inc
Bisherige Preisträger
- Bruno Buchberger (2018)
- Lawrence C. Paulson (2017)
- Zohar Manna and Richard Waldinger (2016)
- Andrei Voronkov (2015)
- Robert L. Constable (2014)
- Greg Nelson (2013)
- Melvin Fitting (2012)
- Nachum Dershowitz (2011)
- David Plaisted (2010)
- Deepak Kapur (2009)
- Edmund Clarke (2008)
- Alan Bundy (2007)
- Wolfgang Bibel (2006)
- Martin Davis (2005)
- Harald Ganzinger (2004)
- Peter B. Andrews (2003)
- Mark E. Stickel (2002)
- Donald Loveland (2001)
- William W. McCune (2000)
- Robert S. Boyer and J Strother Moore (1999)
- Gérard Huet (1998)
- Wen-Tsun Wu (1997)
- J. Alan Robinson (1996)
- Woody Bledsoe (1994)
- Larry Wos (1992)
Das könnte Sie auch interessieren:
