Csuhaj-Varjú Erzsébet

Születési dátum:
1954.08.15.
Születési hely:
Debrecen
Végzettség, szakképesítés:
  • matematikus - KLTE - 1977.
  • Tudományos fokozat:
    MTA doktora - 2003 – Matematikai tudományok

    1977-1979 között a debreceni Kossuth Lajos Tudományegyetemen (KLTE) Általános Nyelvészeti Tanszékén posztgraduális ösztöndíjas volt. 1980-ban a KLTE-n megszerezezte az egyetemi doktori címet,

    1979-től az MTA Számítástechnikai és Automatizálási Kutatóintézetben (SZTAKI) a formális nyelvek kutatója volt; eleinte programozáselmélettel is foglalkozott.1991–1996 között a Kombinatorikus Számítástudományi Kutatócsoport Kutatási Osztályán a multi-agent rendszerek formális modelljeit kutatta. 1997-2003 között a multi-agent rendszerek modellezésével foglalkozó kutatócsoport, majd a Számítástechnikai Elméleti Kutatócsoport vezetője lett. – 1993-ban megszerezte az MTA kandidátusi, majd 2003-ban az MTA doktori címet.

    2005-től az ELTE Informatikai Kar (IK) Algoritmusok és alkalmazásuk Tanszékének kutatóprofesszora. 2007-ben habilitált, majd 2009-től a Tanszék vezető egyetemi tanára.

    Kutatási területei: Formális nyelvek, Multi-agens rendszerek, Bio-számítástechnika (molekuláris számítástechnika, membrán számítástechnika), Természetes nyelv feldolgozása. 230-nál több közleménye jelent meg.

    2001-től az ELTE Informatikai Kar (IK) Doktori Iskolájának alapító tagja, valamint a Szegedi Egyetem Informatikai Doktori iskolájának külső tagja.

    Tagja az MTA Informatika- és Számítástudományi Bizottságnak, az MTA Matematikai Doktori Bizottságnak és az NJSZT-nek. Ezen kívül tagja az Association Computability in Europe (ACiE) és a European Association for Theoretical Computer Science (EATCS) társaságoknak. Az International Journal of Foundations of Computer Science (IJFCS) szerkesztőbizottsági tagja.

    Kitüntetései: díj a kitűnő számítástechnikai eredményekért (SZTAKI, 1994, 1998, 2001, 2004, 2008); „Legjobb felügyelő” díj (SZTAKI, 2000).


    Létrehozva: 2020.06.12. 20:38
    Utolsó módosítás: 2020.08.17. 21:10