CURRICULUM VITAE
Martin Otto
Professor of Mathematics / Logic and Mathematical Foundations of Computer Science
Department of Mathematics
Technische Universität Darmstadt
born 08.03.1961
married, two daughters
Academic Degrees:
Habilitation
and
venia legendi
in Mathematics, RWTH Aachen 1996
PhD
, Dr.rer.nat., University of Freiburg 1990,
thesis in Mathematical Logic, adviser: H.-D. Ebbinghaus
Physics Degree
, Diplom Physik, University of Freiburg 1987
thesis in mathematical physics, supervisor: H. Römer
State Degrees
, Staatsexamen Mathematik, Physik, University of Freiburg 1987
Previous Positions and Affiliations:
Lecturer and Reader in Theoretical Computer Science, University of Wales Swansea
, 1999-2003
Research Associate at
UC Santa Cruz
and Visiting Scholar at
Stanford University
, 1997/1998, supported by DFG research grant
Assistant positions at Mathematische Grundlagen der Informatik
RWTH Aachen
, 1993-1997 and 1998/99
Assistant position at Institut für Mathematische Logik,
University of Freiburg
, 1991-93
Assistant position at Mathematisches Forschungsinstitut
Oberwolfach
, 1989/90
Assistant position at Mathematics Department,
University of Freiburg
, 1987/89
University Education:
Mathematics and Physics, University of Freiburg 1980-1987
Part III of the Mathematical Tripos, Cambridge 1983/84
Supported by the German Academic Scholarship Foundation (Studienstiftung des deutschen Volkes), 1980-87
Research Interests:
Mathematical Logic, Model Theory, Complexity Theory
Finite & Algorithmic Model Theory
Mathematical Foundations of Computer Science
Logic in Computer Science
Professional Services:
Editor of the Bulletin of Symbolic Logic: 2008-2013
Editor for Lecture Notes in Logic: since 2018
Dean of Studies (Maths): 2012-2014 and 2024/25
Back
to my homepage
September 2024, M. Otto