Horpácsi Dániel | Az ELTE Ígéretes Kutatója 2025

Informatika: Horpácsi Dániel (IK Programozási Nyelvek és Fordítóprogramok Tanszék):
Nagy megbízhatóságú szoftvereszközök

Horpácsi Dániel alapszakos tanulmányai (2007) óta jelentésmegőrző programtranszformációkkal és refaktorálással foglalkozik, főként az Erlang funkcionális nyelv területén. Kutatásai a programok absztrakciós szintjeinek feltárására és olyan algoritmusok kidolgozására irányulnak, amelyek a programszöveg szerkezetét a jelentés megváltoztatása nélkül alakítják át. Doktori munkájában a programozási tételek és helyességi bizonyítások szerepét vizsgálta a refaktorálások pontos leírásában. Korai eredménye egy új, több szintű szemantikus programgráf kifejlesztése Erlang kódok statikus elemzéséhez. Jelentős hozzájárulása a metaprogramozási eszközök tulajdonságalapú tesztelése is, amely sztochasztikus grammatikákat és adategyszerűsítést kombinál. Később nyelvkiterjesztő és párhuzamosító refaktoráló eszközöket, majd hardverfüggetlen P4 fordítót fejlesztett. Megalkotta a bizonyíthatóan helyes refaktorálási sémákat, és vezető szerepet vállalt a Core Erlang formális definíciójában, valamint a kapcsolódó refaktorálások gépi tételbizonyításában. Újabb munkái a programsérülékenységek formális vizsgálatára és az illesztési logika formalizációjára fókuszálnak ipari együttműködésben. Munkáiban kiemelt szerepet kap a nyílt tudomány és a tehetséggondozás.