Rendszerüzenet

Számítási Modellek Kutatócsoport Kutatócsoport

Debreceni Egyetem, Informatikai Kar, Számítógéptudományi Tanszék
Alapítás éve: 2015
Kutatócsoport vezető: Vaszil György egyetemi tanár
Telefonszám: +36 52 512900 /75110
Kapcsolattartó: Horváth Géza adjunktus
Telefonszám: +36 52 512900 /75117
Website:

A kutatási tevékenység rövid összefoglalása:
Matematikai logika, modális és intenzionális logika, típuselméleti logika, parciális logika, formális szemantika, temporális logika, logikafilozófia, automatikus tételbizonyítás Operációkutatás Mesterséges intelligencia, szakértő rendszerek, ismeretábrázolás, leíró logikák Formális nyelvek és automaták Multi-modális ember-gép kapcsolat, vázkijelölő algoritmusok, Support Vector Machine, arcfelismerés, szomszédsági szekvenciák Szomszédsági szekvenciák, digitális geometria Lineáris rekurzív sorozatok, véletlenszám generátorok Kriptográfia, komputer algebra

A kutatócsoport tagjai:
Telefonszám: +36 52 512900 /75110
Vaszil György, egyetemi tanár
Telefonszám: +36 52 512900 /75117
Horváth Géza, adjunktus
Dömösi Pál, professor emeritus
Telefonszám: +36 52 512900 /75115
Battyányi Péter, adjunktus
Telefonszám: +36 52 512900 /75117
Herendi Tamás, adjunktus
Major Roland, tanársegéd