Kutatás

Kutatási területek

Algebra, kategóriák és logika a számítástudományban

Automaták es formális nyelvek elmélete

Fautomaták és fatranszformátorok elmélete

Fixpont műveletek és iterációs elméletek

Processz algebra

Termátírórendszerek