WE Heraeus - Lorentz Workshop — Automated Reasoning for Quantum Mechanics

To boost our ability to simulate quantum mechanical systems, we believe that insights from theoretical computer science perfectly complement the existing knowledge in physics. In particular, our own recent research has shown that automated reasoning techniques, originally developed to analyze complex (classical) information systems, show great promise in the domain of quantum mechanics. Moreover, these new approaches have been shown to break boundaries between existing approaches, combining their strengths and overcoming individual limitations. Based on these developments, we aim to realize fundamentally novel formalisms for representing and processing quantum information.