The Dutch funding agency NWO has recently awarded a large 'SUMMIT' grant to the leading researchers in quantum computing in the Netherlands.
These researchers redistributed some of the funding though the Quantum Limits call. I am honored that they selected my research proposal for inclusion in the SUMMIT project.
Quantum complexity theory faces key challenges, including simulating quantum systems, understanding entanglement, and solving many-body problems – many of which are too complex for unaided human reasoning. This project tackles these issues by combining human insight with automated reasoning (AR), a method that has already solved difficult problems in mathematics. Building on recent work that connects quantum problems to AR techniques, Sebastian Feld (QuTech) and myself will apply this approach and advance fundamental questions in quantum computing.