Martin Ziegler (mathematician)

from Wikipedia, the free encyclopedia

Martin Ziegler (* 1968 ) is a German mathematician . He is Professor of Theoretical Computer Science at KAIST . From 2010 to 2015 he was a professor at the Technical University of Darmstadt .

Life

Ziegler received his doctorate in 2002 with the thesis On Computability of Real Geometric Problems at the University of Paderborn . After various post-doc positions , he completed his habilitation there in 2008. In March 2010 he took up a W2 professorship for mathematics at the TU Darmstadt .

At the TU Darmstadt he was a member of the IANUS group (interdisciplinary working group for natural science, technology and security). The group deals with scientifically oriented peace research. From 2012–2015 he was their spokesperson.

In 2015 he accepted a professorship for theoretical computer science at KAIST (formerly: Korea Advanced Institute of Science and Technology ) in Daejeon , South Korea .

Services

In his work he is a. with logic problems and problems of predictability, fields of research between mathematics and computer science. At the TU Darmstadt he was a member of the logic group in the mathematics department.

Awards

  • 1996/97: Prize for outstanding theses 1996/97 of the University of Paderborn for the diploma thesis An alternative formulation of quantum mechanics .
  • 1998: Multimedia Award 1998 of the BMWi together with Matthias Fischer and Tamás Lukovszki for the project Multimedia voyages of discovery of our world with the Internet
  • 2006: Research Prize 2006 (together with Dr. Matthias Fischer)
  • 2009: The Best Paper Award from Springer-Verlag at the 32nd Annual Conference on Artificial Intelligence , together with Florentin Neumann and Andrea Reichenberger for: Variations of the Turing Test in the Age of Internet and Virtual Reality
  • 2011: Athene department award for good teaching and special award for interdisciplinary teaching 2011 (together with Gerd Buntkowsky and Hans-Jürgen Bär )

Web links

Individual evidence

  1. Martin Ziegler. Mathematics Genealogy Project , accessed October 28, 2017 .
  2. a b c d e Martin Ziegler: Martin Ziegler (Prof. Dr. rer. Nat. Dipl.-Phys. Dipl.-Math.). Personal website. Retrieved October 28, 2017 (English).
  3. ^ Members of the Logic Working Group. Department of Mathematics at TU Darmstadt, accessed on September 2, 2014 .