Sorry! De informatie die je zoekt, is enkel beschikbaar in het Engels.
This programme is saved into My study choice.
This programme cannot be saved.
You are not logged in yet to My study choice Portal. Login or create an account to save your programmes.
Something went wrong, try again later.

Superposition for Higher-Order Logic receives four awards

2 November 2022
The PhD thesis Superposition for Higher-Order Logic by Alexander Bentkamp, which he defended at the VU in May 2021, receives four prestigious awards.

The PhD thesis Superposition for Higher-Order Logic by Alexander Bentkamp, which he defended at the VU in May 2021, has received four prestigious awards:

1) The E.W. Beth Dissertation Prize, awarded by the Association for Logic, Language and Information.

2) The Ackermann Award, granted by the European Association for Computer Science Logic.

3) The Bill McCune PhD Award in Automated Reasoning, granted by the Conference on Automated Deduction.

4) The IPA Dissertation Award, granted by the Dutch research school IPA.

His research, which was supervised by Wan Fokkink and Jasmin Blanchette at the VU and by Uwe Waldmann at the Max Planck Institute for Informatics, is dedicated to automatic theorem proving. This means reasoning about logical formulas in order to find proofs of theorems fully automatically.

Alexander developed a so-called higher-order superposition calculus. The prototype Zipperposition tool, to which he contributed substantially, won the higher-order division of the international CASC competition in 2020, 2021, and 2022.