Prof. Bruno Buchberger erhält "Herbrand Award for Automated Reasoning" in Oxford

Prof. Bruno Buchberger und Prof. Christoph Weidenbach bei der Verleihung in Oxford
Bruno Buchberger und Prof. Christoph Weidenbach (Präsident der CADE) © Christoph Weidenbach

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)