Kaposi Ambrus, az ELTE Programozási Nyelvek és Fordítóprogramok Tanszék egyetemi docense, 1,9 millió eurós (mintegy 781 millió forint) támogatást nyert az Európai Kutatási Tanács (ERC) Consolidator Grant pályázatán. A kutató a Magasabb megfigyelés-alapú típuselmélet (HOTT) című kutatásával nyerte el a támogatást, amely forradalmasíthatja a számítógépes bizonyítórendszerek használatát.
A 2024-es pályázaton Magyarország egyedüli nyertese Kaposi, aki 928 pályázat közül került a kiválasztott 131 kutató közé. A kutatás célja, hogy új típuselméletet dolgozzanak ki, amelyben a magasabb-dimenziós geometria nem kézzel van beépítve, hanem emergens, és lehetővé teszi a matematikai bizonyítások gyorsabb és automatizált ellenőrzését.
A támogatás hozzájárul a szoftverek helyességbizonyításának és a matematikai bizonyítások számítógépes ellenőrzésének fejlődéséhez, valamint segíti a számítástechnikában és a funkcionális programozásban elért eredmények alkalmazását. Kaposi Ambrus kutatásait korábban az ELTE Informatikai Kar és az MTA Bolyai-ösztöndíj is támogatta.
