Project

BOF ZAP Logic, Proof theory

Code
01Y00922
Duration
01 February 2022 → 31 January 2027
Funding
Regional and community funding: Special Research Fund
Research disciplines
  • Natural sciences
    • Category theory, homological algebra
Keywords
proof theory logic
 
Project description

 

A tenure track appointment grants one the privilege of focusing primarily on research for a period of 5 years, with a limited teaching load.