Former Member

Dr. Martin Giese

< back
Research Scientist Symbolic Computation

Short Curriculum Vitae

  • born on June 14, 1970 in Berlin, Germany; married, 1 child
  • 1998 Diploma in Computer Science, Univ. Karlsruhe, Germany
  • 2002 Ph.D. from Univ. Karlsruhe, Germany
Former and Current Positions:
  • Aug 1998 - Dec 2002 Research assistant at Institute for Logic,
  • Complexity, and Deduction Systems, Univ. Karlsruhe, Germany
  • Jan 2003 - Feb 2005 Postdoc position at Chalmers Institute of Technology, Gothenburg, Sweden
  • 2005/05-February 02, 2007: Postdoc position in Symbolic Computation group at RICAM

Research Interests

  • automated theorem proving, interactive theorem proving, software specification & verification