Martin Otto (mathematician)
Martin Otto (born March 8, 1961 ) is a German mathematician and professor at the Technical University of Darmstadt . His areas of expertise are mathematical logic , (finite) model theory , mathematical foundations and logic in computer science .
Live and act
Martin Otto studied mathematics and physics at the University of Freiburg from 1980 . In 1987 he obtained the state examination in mathematics / physics and the diploma in physics. He then worked as a research assistant in the mathematics department of the University of Freiburg and at the Mathematical Research Institute Oberwolfach . In 1990 he was in Freiburg with a work on mathematical logic to Dr. rer. nat. PhD. He then worked as an assistant at the local Institute for Mathematical Logic. In 1993 he moved to RWTH Aachen University , where he worked as an assistant in the field of mathematical foundations in computer science until 1999. In 1996 he completed his habilitation in mathematics in Aachen and obtained the venia legendi. With a DFG scholarship, he conducted research as a research associate at Stanford University in 1997/98 . From 1999 to 2003 he was a lecturer and reader in theoretical computer science at Swansea University . Since 2003 he has been a professor at the TU Darmstadt.
Martin Otto is married and has two children.
Web links
- Martin Otto's homepage on the TU Darmstadt website (accessed on July 10, 2014)
Individual evidence
| personal data | |
|---|---|
| SURNAME | Otto, Martin |
| BRIEF DESCRIPTION | German mathematician and university professor |
| DATE OF BIRTH | March 8, 1961 |