Dr. Mark Niklas Müller is CTO and Co-Founder of LogicStar AI, where he is building the future of software maintenance for the agentic era. He pioneered methods for benchmarking software agent capabilities, including SWT-Bench and automated benchmark generation. Before founding LogicStar AI, he completed his PhD and conducted postdoctoral research at the Secure, Reliable, and Intelligent Systems (SRI) Lab at ETH Zürich under Prof. Martin Vechev, focusing on provable guarantees for machine learning systems and the intersection of AI and code. He's an avid hiker and road cyclist.
