Project

BOF ZAP 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

Het opnemen van een Tenure Trackaanstelling impliceert het privilege om zich gedurende een periode 5 jaar nagenoeg exclusief toe te leggen op onderzoeksactiviteiten, met een beperkte onderwijsopdracht.