Horpácsi Dániel
egyetemi adjunktus
Elérhetőségek
Cím
1117 Budapest, Pázmány Péter sétány 1/c.
Szoba
2-517
Telefon/Mellék
8486
E-mail
Hivatkozások
ORCID
WoS
Scopus
Google Scholar
Publikációk
Szakmai honlap
Doktori.hu
Szakmai honlap
Tudományági besorolások
- 1.2 Számítógéptudomány és informatika tudomány
- Informatika tudomány
Főbb kutatási területek
Az illesztési logika gépi formalizációja
A projekt célja az illesztési logika formális definíciója a Coq tételbizonyító rendszerben, majd meta-tételek és tételek gépileg ellenőrizhető igazolása.
Kulcsszavak
Az Erlang programozási nyelv formális szemantikája
A projekt célja formálisan definiálni az Erlang programozási nyelvet és programok ekvivalenciáját a Coq tételbizonyító rendszerben.
Kulcsszavak
Nagy megbízhatóságú refaktorálás
Refaktorálások statikus és dinamikus verifikációja formális módszerek segítségével.
Kulcsszavak