Project

BOF-TT-mandaat in Wiskundige logica, bewijstheorie

Code
01Y00922
Looptijd
01-02-2022 → 31-01-2027
Financiering
Gewestelijke en gemeenschapsmiddelen: Bijzonder Onderzoeksfonds
Mandaathouder
Onderzoeksdisciplines
  • Natural sciences
    • Category theory, homological algebra
Trefwoorden
Bewijstheorie logica
 
Projectomschrijving
Een BOF-TT-mandaathouder krijgt een aanstelling als Tenure Track met hoofdzakelijk onderzoeksopdracht. De loonkosten worden ten laste gelegd van de middelen van het BOF.