معرفی
Prof. Martin Otto is a Professor of Mathematics at the Technische Universität Darmstadt, specializing in Logic and Mathematical Foundations of Computer Science. He holds a position in the Department of Mathematics (Fachbereich 4) and serves as Dean of Studies. His academic journey includes a PhD from the University of Freiburg (1990), habilitation from RWTH Aachen (1996), and prior roles as a Lecturer/Reader at Swansea University (1999–2003).
Research Interests: Mathematical Logic, Model Theory, Complexity Theory, Algorithmic Model Theory, Finite Model Theory, and Logic in Computer Science. Notable contributions include work on bisimulation, guarded logics, and inquisitive semantics. His research bridges structural properties in mathematics and computational expressiveness.
Teaching: Courses span Mathematical Logic, Model Theory, Linear Algebra, and Modal Logics. Recent offerings include Introduction to Mathematical Logic (2024/25), Logic & Knowledge Representation, and advanced seminars on model-theoretic topics.
Publications: Over 50 peer-reviewed papers in journals like the Journal of Symbolic Logic, and conference proceedings such as LICS and CSL. Key works address guarded fragments, bisimulation invariance, and finite model theory applications.
Affiliations: Member of the Logic Group at TU Darmstadt. Editorships include the Bulletin of Symbolic Logic and Lecture Notes in Logic. Organized workshops like AlMoTh 2020 (cancelled due to pandemic) and participated in Simons Institute programs (2016).
