Az MTA köztestületének tagjai

Született Miskolc, 1977.05.10.

PhD 2007

Szakterület Számítástudomány
Matematikai Tudományok Osztálya

Foglalkozás főiskolai docens, IoT Kutatóintézet igazgató

Kutatási téma

• automatikus tételbizonyítás
• bit-vektor logikák
• DQBF
• formális módszerek
• mesterséges intelligencia
• SAT solving
• tabló módszerek
• verifikáció

Publikációk Kovásznai Gergely publikációs listája

Szervezeti tagságok

• Informatika- és Számítástudományi Bizottság

Elérhetőségek

• Eszterházy Károly Főiskola
  Természettudományi Kar
  Matematikai és Informatikai Intézet
  Információtechnológia Tanszék
  3300 Eger, Leányka út 4.
  Magyarország
  Email: kovasznai.gergely@uni-eszterhazy.hu
  E-mail: kovasznai.gergely@ektf.hu