1 december 2022
Postdoc Alexander Bentkamp ontwikkelde een zogenaamde higher-order superposition calculus. Met zijn proefschrift Superposition for Higher-Order Logic, dat hij in mei 2021 aan de VU Amsterdam verdedigde, won hij vier prestigieuze prijzen.
Bentkamps onderzoek, naar methoden waarmee wiskundige stellingen volledig automatisch bewezen kunnen worden, werd begeleid door Wan Fokkink en Jasmin Blanchette van de VU en Uwe Waldmann van het Max-Planck-Institut für Informatik.
Voor zijn proefschrift ontving Bentkamp de volgende onderscheidingen:
- De E.W. Beth Dissertation Prize, toegekend door de Association for Logic, Language and Information.
- De Ackermann Award, toegekend door de European Association for Computer Science Logic.
- De Bill McCune PhD Award in Automated Reasoning, toegekend door de Conference on Automated Deduction.
- De IPA Dissertation Award, toegekend door het IPA, een Nederlands onderzoeksinstituut.
Daarnaast heeft Bentkamp ook substantieel bijgedragen aan het prototype van de zogenaamde Zipperposition tool. Deze tool eindigde in de internationale CASC-competitie op de eerste plaats in de categorie higher order in 2020, 2021 en 2022.