Onderzoeker

Fedor Pakhomov

Onderzoeksdisciplines
  • Natural sciences
    • Category theory, homological algebra
    • Mathematical logic and foundations
    • Analysis of algorithms and complexity
Expertise
Logica Bewijstheorie