Trifon Trifonov Former fellow of the Marie Curie Framework 6 Early Stage Training Program (read more on this here). PhD student at the Mathematics Institute of Ludwig-Maximilians University within the Mathematical Logic group, supervised by Prof. Helmut Schwichtenberg.

Research interests:

• Proof theory
• Lambda calculus
• Recursion theory
• Automated proof assisting systems (Minlog)

Current research:

My current research is directed towards developing extraction of programs from classical (non-constructive) proofs via Gödel's Dialectica interpretation.

I collect combinatorial problems with non-constructive proofs as case studies for formalisation and comparing methods for program extraction.

Publications

Talks and slides

Teaching:

• Recursion Theory WS 2006/07

Address:

    Mathematisches Institut LMU
    Theresienstraße 39
    80333 München
    Deutschland

Email:

    trifonov (-at-) mathematik.uni-muenchen.de

Telephone:

    +49 89 2180 4419

Office:

    Room B422 (Block B)

---

Last change: $Date: 2010-10-04 17:30:36 +0200 (Mon, 04 Oct 2010) $