Preskoči na glavno vsebino

Seminar za temelje matematike in teoretično računalništvo

Raziskovalne teme

  • teorija tipov
  • homotopska teorija tipov
  • konstruktivna in izračunljiva matematika
  • temelji matematike
  • matematični temelji programskih jezikov
  • semantika programskih jezikov
  • algebrajski učinki in prestrezniki
  • formalizirana matematika in dokazovalni pomočniki

Raziskovalni projekti

  • Type Theory for Data-Intensive Formalization
  • Računsko intenzivne metode v teoretičnem računalništvu, diskretni matematiki, kombinatorični optimizaciji ter numerični analizi in algebri z uporabo v naravoslovju in družboslovju (ARRS P1-0294)

Člani