A mesterséges intelligencia formális módszerei és alapjai

súgó

azonosító

149312

típus

MEC_SZ

Vezető kutató

Kusper Gábor

magyar cím

A mesterséges intelligencia formális módszerei és alapjai

Angol cím

Formal Methods and Foundations of Artificial Intelligence

magyar kulcsszavak

formális módszerek, mesterséges intelligencia, informatika oktatása

angol kulcsszavak

formal methods, artificial intelligence, IT education

megadott besorolás

Informatika (Kutatási Kiválósági Tanács)	70 %
Számítástudomány (Kutatási Kiválósági Tanács)	20 %
Operációkutatás (Kutatási Kiválósági Tanács)	10 %

zsűri

Mecenatúra 2. alprogram

Kutatóhely

Számítástudományi Tanszék (Eszterházy Károly Katolikus Egyetem)

projekt kezdete

2024-10-01

projekt vége

2025-09-30

aktuális összeg (MFt)

9.955

FTE (kutatóév egyenérték)

0.00

állapot

támogatási döntés megtörtént