Project

BOF-TT-professorship in 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 BOF-TT mandate holder receives an appointment as a Tenure Track with mainly research assignment. The salary costs are charged to the Special research Fund (BOF).