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

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