Max Bannach

Dr. Max Bannach is a Research Fellow in Computer Science and Applied Mathematics at the European Space Agency's Advanced Concepts Team in Noordwijk, Netherlands. Prior to this role, he completed his Ph.D. at Universität zu Lübeck under Prof. Dr. Till Tantau. His work bridges theoretical insights in structural graph theory with practical applications in highly parallel optimization, including space mission planning and quantum computing.

• Education: Ph.D. in Computer Science (Universität zu Lübeck, Germany)

Max Bannach's research focuses on parameterized algorithms, descriptive complexity, and logic-based optimization. He explores problems with tree-like structures via treewidth, leveraging Courcelle's theorem to develop efficient algorithms. His work extends to space applications, neuromorphic hardware, and quantum computing, aiming to integrate theoretical logic with real-world challenges.

His recent publications span conferences like STACS, NFM, IAC, GECCO, and IPEC. Key topics include automated reasoning, MaxSAT variants, structural decomposition, and structural parameterization. He has organized computational challenges like PACE and SpOC, contributing to the advancement of exact and parallel algorithms.

Dr. Bannach's collaborative efforts include projects with the European Space Agency, technical teams at conferences, and academic institutions like Universität zu Lübeck. He maintains active participation in program and steering committees for PACE and SpOC.