• Leute
  • Martin Mundhenk
  • Silvia Blaser
• Lehre
  • Algorithmische Grundlagen
  • Logik und Beweisbarkeit
  • Logiksysteme
• Forschung

» Homepage » Leute » Martin Mundhenk

Prof. Dr. Martin Mundhenk

Contact Snail Mail: Friedrich-Schiller-Universität Fakultät für Mathematik und Informatik Institut für Informatik Ernst-Abbe-Platz 2 D-07743 Jena / Germany Room: 3313 Phone: (+49) 3641 9 46315 Fax: (+49) 3641 9 46322 E-Mail: martin (dot) mundhenk (at) uni-jena (dot) de

Research interests

• complexity theory
  
• logic
  
• algorithm engineering
• current focus:
  
•        complexity of intuitionistic, temporal and other non-classical logics
•        complexity of bribery
  

Publications