Andreas Teucke

Phd Student

Max-Planck-Institut für Informatik
Campus E1 4
66123 Saarbrücken

+49 681 9325-2928, fax -2999

ateucke@mpi-inf.mpg.de

Physical address: building E1 5, room 606

Research

Research Interests

  • Automation of Logic
  • Proof Theory
  • Formalized Proofs

Ph.D. Topic: First-Order Model Approximations

Supervisor: Christoph Weidenbach

SPASS for First-Order Model Approximations: SPASS-AR

Education