Az oktató a doktori iskola doktoranduszai számára oktat tantárgyat, és/vagy a doktori iskola megszavazta, hogy doktoranduszok számára kutatási témát írjon ki.
Az oktató a doktori iskola doktoranduszai számára oktat tantárgyat, és/vagy a doktori iskola megszavazta, hogy doktoranduszok számára kutatási témát írjon ki.
)
doktori képzéssel kapcsolatos munkájának megoszlása
Deklaratív és logikai programozás, korlát-programozás (constraint programming), Prolog.
A szemantikus világháló és matematikai alapjai.
Párhuzamos programozás.
Programozási nyelvek megvalósítása.
jelenlegi kutatásainak tudományága
matematika- és számítástudományok informatikai tudományok