---

• I am now part of the Commerzbank AG, Germany.

---

Research Interests

• Automated Deduction, Proof Theory

---

Former Position

• Until 2019 I was a PhD student fully funded by the Doctoral College Logical Methods in Computer Science, TU Wien. I started my PhD studies in February 2015 under the supervision of Univ. Prof. Dr. phil. Alexander Leitsch.

---

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].

---