Projects
GSO Logo
Image: Carl Zeiss Stiftung- Interactive InferenceExternal link, funded by Carl Zeiss Stiftung
- Quantifizierte Boolesche Formeln: Beweiskomplexität und Solving (2021-2024), funded by the German Research Foundation (DFG)
- Hardness in QBF proof complexity (2021–2023) funded by the German Academic Exchange Service (DAAD)
- A New Dawn of Intuitionism: Mathematical and Philosophical AdvancesExternal link (2017-2020)
funded by the John Templeton Foundation - Grant for returning Scientists to Germany (2018-2021)
funded by the German Scholars Organisation and the Carl Zeiss Foundation - Correctness by Construction (2014-2017)
Coordinator, funded by EU, Marie Curie International Research Staff Exchange Scheme - Parameterized Proof ComplexityExternal link (2014-2016)
PI, funded by Engineering and Physical Sciences Research Council (EPSRC) - Abstract Mathematics for Actual Computation: Hilbert's Program in the 21st CenturyExternal link (2014-2016)
PI, funded by the John Templeton Foundation