Michael Lettmann

 
  • Project Assistant, MSc
  • TU Wien
  • Institute of Information systems 184, Institute of Computer Languages 185
  • Favoritenstraße 9–11
  • 1040 Wien
  • Austria

  • Room: HF 04 13
  • Phone: +43 (1) 58801 – 58553
  • Email: michael.lettmann [at] tuwien.ac.at

Research Interests

  • Automated Deduction, Proof Theory

Current Position


Education

  • MSc in Mathematics (Technische Universität Darmstadt), master thesis: Anwendung der Methode von Coquand und Hofmann auf das unendliche Schubfachprinzip und ähnliche Prinzipien (in German), August 2014

Publications

  1. A. Leitsch, M. P. Lettmann, The problem of Pi_2-cut-introduction [arXiv].
  2. D. M. Cerna, M. P. Lettmann, Clausal Analysis of First-order Proof Schema [arXiv].