Martin Ziegler

Martin Ziegler is a faculty member in the School of Computing at KAIST. His research focuses on computer science for continuous data. He holds a position as a professor of theoretical computer science at KAIST since 2015. His academic career includes roles such as associate professor at Technische Universität Darmstadt and visiting scholar positions at various institutions. He has contributed to research areas including computability, computational complexity, and real computation. Ziegler has organized and participated in numerous conferences and workshops, and has been involved in several research projects funded by national and international grants. His work has been published in leading journals and conferences in theoretical computer science and mathematics.

Martin Ziegler is a researcher in Computer Science for Numerics, focusing on the intersection of computational theory and numerical analysis. His work explores the computational complexity of smooth differential equations, real computation with least discrete advice, and the computability of numerical operators on analytic functions. Ziegler investigates the computational power of infinite quantum parallelism and the physical foundations of computing through the lens of the Church–Turing Hypothesis. His research also addresses the computability of linear algebra operations and the complexity of real-world halting problems. Additionally, he examines geometric spanners and their applications in wireless networks, as well as the computability of operators on regular sets.