Personal profile
Education
ㅇ(2008) Habilitation/Venia Legendi in Computer Science, Universität Paderborn (Germany),
ㅇ(2002) Ph.D (Dr.rer.nat.) in Computer Science, Universität Paderborn (Germany)
ㅇ(1997) M.S. (Diploma) in Mathematics, Universität-GH Paderborn (Germany)
ㅇ(1993) B.S. (Vordiplom) in Physics, Universität-GH Paderborn (Germany)
ㅇ(2002) Ph.D (Dr.rer.nat.) in Computer Science, Universität Paderborn (Germany)
ㅇ(1997) M.S. (Diploma) in Mathematics, Universität-GH Paderborn (Germany)
ㅇ(1993) B.S. (Vordiplom) in Physics, Universität-GH Paderborn (Germany)
Professional Experience
ㅇ(Mar. 2023~ Present) Assistant Vice President of Student Affairs and Policy, KAIST, Daejeon
ㅇ(Aug. 2015~Feb. 2034) Associate Professor of School of Computing, KAIST, Daejeon
ㅇ(Mar.2010~Feb. 2015) Associate Professor (W2) of Mathematics, TU Darmstadt (Germany),
ㅇ(Mar.2009~Feb.2010) DFG Heisenberg Fellow, TU Wien (Austria)
ㅇ(Aug. 2015~Feb. 2034) Associate Professor of School of Computing, KAIST, Daejeon
ㅇ(Mar.2010~Feb. 2015) Associate Professor (W2) of Mathematics, TU Darmstadt (Germany),
ㅇ(Mar.2009~Feb.2010) DFG Heisenberg Fellow, TU Wien (Austria)
Research interests
Theoretical Computer Science (algorithms, computational complexity, coding theory), Logic (syntax/semantics, formal verification, un/decidability), Analysis (calculus, functional analysis, hard analysis)
Major Research Achievements
Computer Science for CONTINUOUS Data: ● "Computer Science for Continuous Data - Survey, Vision, Theory, and Practice of a Computer AlgebraAnalysis System", CASC (2022) ● "Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations", J.Complexity (2023) ● "Semantics, Specification Logic, and Hoare Logic of Exact Real Computation", Logical Methods in Computer Science (2024) ● "Quantitative Coding and Complexity Theory of Continuous Data", J.ACM (2025)
Fingerprint
Dive into the research topics where Martin Ziegler is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Quantitative Coding and Complexity Theory of Continuous Data: Part I: Motivation, Definition, Consequences
Lim, D. & Ziegler, M., 24 Jan 2025, In: Journal of the ACM. 72, 1, 4.Research output: Contribution to journal › Article › peer-review
Open Access2 Scopus citations -
SEMANTICS, SPECIFICATION LOGIC, AND HOARE LOGIC OF EXACT REAL COMPUTATION
Park, S., Brausse, F., Collins, P., Kim, S., Konečný, M., Lee, G., Müller, N., Neumann, E., Preining, N. & Ziegler, M., 2024, In: Logical Methods in Computer Science. 20, 2Research output: Contribution to journal › Article › peer-review
Open Access4 Scopus citations -
Software Testing in Computable Analysis
Meer, K. & Ziegler, M., 2024, Unconventional Computation and Natural Computation - 21st International Conference, UCNC 2024, Proceedings. Cho, D.-J. & Kim, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 58-73 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14776 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations
Koswara, I., Pogudin, G., Selivanova, S. & Ziegler, M., Jun 2023, In: Journal of Complexity. 76, 101727.Research output: Contribution to journal › Article › peer-review
Open Access4 Scopus citations -
Computer Science for Continuous Data: Survey, Vision, Theory, and Practice of a Computer Analysis System
Brauße, F., Collins, P. & Ziegler, M., 2022, Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Proceedings. Boulier, F., England, M., Sadykov, T. M. & Vorozhtsov, E. V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 62-82 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13366 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
5 Scopus citations
Press/Media
-
Smart Queries, Smarter Answers: Adaptive-RAG in Action
Seo, M., Hwang, S. J., Park, J. C., Park, J.-E., Park, Y., Chung, W. S., Park, C. & Ziegler, M.
25/03/25
1 item of Media coverage
Press/Media
-
Investigators from School of Computing Zero in on Computer Science (Semantics, Specification Logic, and Hoare Logic of Exact Real Computation)
30/07/24
1 item of Media coverage
Press/Media