• egyetemi tanár
  Számítástudomány Alapjai Tanszék

• Egyetemi tanulmányok: József Attila Tudományegyetem, TTK, matematikus szak, 1974 - 1979.
• Okleveles matematikus (programtervező), József Attila Tudományegyetem, 1979.
  Diplomamunka: Reguláris egyenletrendszerek alkalmazása automataelméleti eldönthetőségi problémákra.
• Egyetemi doktor, József Attila Tudományegyetem, 1981.
  Disszertáció címe: Attribútumos fatranszformátorok.
• A matematika tudomány kandidátusa, MTA, 1990.
  Disszertáció címe: Eldönthetőségi kérdések fatranszformáció osztályok által generált monoidokban.
• Habilitáció, Szegedi Tudományegyetem, 2002.
• MTA doktora (számítástudományból), MTA, 2003.
  Disszertáció címe: Fatranszformátorok számítási erejének összehasonlítása.

• Tudományos segédmunkatárs - munkatárs - főmunkatárs, Automataelméleti Kutatócsoport, MTA, 1979-1992.
• Egyetemi docens, Szegedi Tudományegyetem (1999-ig József Attila Tudományegyetem), Számítástudományi Tanszék, 1993 - 2004
• Egyetemi tanár, Szegedi Tudományegyetem, Számítástudomány Alapjai Tanszék, 2004 -

• Szegedi Tudományegyetem (1999-ig József Attila Tudományegyetem) TTK dékánhelyettes 1996 - 2000.
• Szegedi Tudományegyetem, Számítástudomány Doktori Program vezető, 2004 - 2009.
• Szegedi Tudományegyetem, Informatikai Intézet vezető, 2005 - 2014
• MTA Matematikai Osztály, közgyűlési képviselő, 2006 - 2012
• Szegedi Tudományegyetem, Informatikai- és Számítástudományi Habilitációs Bizottság elnöke, 2009 - 2014
• Szegedi Tudományegyetem, Informatika Doktori Iskola vezető 2015 - 2020.
• Szegedi Tudományegyetem, Számítástudomány Alapjai Tanszék vezető, 2016 - 2020

• Szegedi Tudományegyetem (1999-ig JATE) Számítástudomány Doktori Program, majd Iskola Tanácsa, 1994 -
• MTA Matematikai Osztály, Informatikai és Számítástudományi Bizottság, 1998 -
• OTKA Élettelen Természettudományok Szakkollégium, 2000 - 2003.
• MTA Matamatikai Osztály, Doktori Bizottság, 2003 - 2012, 2022 -
• MAB Matematika és Számítástudományi Szakbizottság, 2003 - 2009.
• Szegedi Tudományegyetem, Informatika és Számítástudomány Habilitációs Bizottság, 2003 -
• Eötvös Loránd Tudományegyetem, Informatikai Kar, Doktori Bizottság, 2006 - 2012
• Debreceni Egyetem, Informatikai Kar, Műszaki Tudományterületi Habilitációs Bizottság, 2014-
• OTKA Matematika Zsűri, 2007 - 2010.
• Szegedi Tudományegyetem, Habilitációs Bizottság, 2009 - 2014
• Szegedi Tudományegyetem, Egyetemi Doktori Tanács, 2015-

• Modell ellenőrzés, Logika a számítástudományban, Programhelyesség bizonyítás, Számítás és bonyolultság elmélet, Faautomaták és fatraszformátorok, Formális nyelvek szintaktikus elemzése, Attribútum nyelvtanok, Automaták és formális nyelvek, Fordítóprogramok és operációs rendszerek

• Az automaták és formális nyelvek elméletének kiterjesztései.

• Több mint 80 cikk, 10 konferencia kiadvány szerkesztés, 3 könyv. (publikációs lista)

• Dányi Gábor, 1997.
  Disszertáció címe: Superlinear Determinsitic Top-Down Tree Transducers.
• Gyenizse Pál, 1998.
  Disszertáció címe: Decidability Questions for Term Rewrite Systems and Tree Transducers.
• Gazdag Zsolt, 2006.
  Disszertáció címe: Shape Preserving Tree Transducers.
• Muzamel Loránd, 2011.
  Disszertáció címe: Pebble Macro Tree Transducers with Strong Pebble Handling.
• Kószó Dávid, 2023.
  Disszertáció címe: Weighted Tree Generating Regular Systems and Crisp-Determinization of Weighted Tree Automata

• AFL 1996 és AFL 1999 szervező bizottság tagja
• Programbizottsági tag: ICALP 95, FCT 99, MFCS 2000, ECIT 2002, DLT 2002, AFL 2002, DLT 2003 (társelnök), AFL 2005 (társelnök), AutoMathA 2007, AFL 2011, CAI 2011, AFL 2014 (társelnök), LATA 2017, AFL 2017, CAI 2019, DCFS 2021, CAI 2022, CITDS 2022, NCMA 2023, AFL 2023
• Informatica, szerkesztőbizottság tagja, 2000 -
• Acta Cybernetica, menedzser szerkesztő, 1992 - 2005, szerkesztőbizottsági tag, 2005 -

• Neumann János Számítógéptudományi Társaság
• European Association for Theoretical Computer Science, 1990-, a Council tagja, 1999-2003

• Angol középfokú, orosz alapfokú állami nyelvvizsga

• Országos Tudományos Diákköri Konferencia, Informatika Szekció I. díj, 1979.
• A József Attila Tudományegyetem Kalmár László Díja, 1984.
• Széchenyi Profeszori Ösztöndíj, 1998-2001, Széchenyi Ösztöndíj, 2002 - 2004.
• Szegedi Tudományegyetem Pro Universitate díja, 2016.
• Mestertanár, 2019.
• Magyar Érdemrend Tisztikereszt, 2022.

2023. június 22.