Formal Methods and Foundations of Artificial Intelligence  Page description

Help  Print 
Back »
 

Details of project

  
Identifier
149312
Type MEC_SZ
Principal investigator Kusper, Gábor
Title in Hungarian A mesterséges intelligencia formális módszerei és alapjai
Title in English Formal Methods and Foundations of Artificial Intelligence
Keywords in Hungarian formális módszerek, mesterséges intelligencia, informatika oktatása
Keywords in English formal methods, artificial intelligence, IT education
Discipline
Information technology (Research Council)70 %
Computing science (Research Council)20 %
Operational research (Research Council)10 %
Panel Science Patronage - subprogram 2
Department or equivalent Department of Computer Science (Eszterházy Károly University)
Starting date 2024-10-01
Closing date 2025-09-30
Funding (in million HUF) 9.955
FTE (full time equivalent) 0.00
state funding/rejection decision made




Back »