Az MNB-BME együttműködéshez lazán kapcsolódóan kitaláltuk az olyan eljárásrendeket (pl. gázártámogatási döntés), ahol az alany maga értékeli ki az eljárásrendet - és a részletek felfedése nélkül győzi meg a végrehajtót. Ebből született egy I. helyezett TDK-munka: https://tdk.bme.hu/conference/VIK/2023/sessions/inform2/paper/Onkiertekelo-eljarasrendek-tamogatasa és egy cikk is https://ieeexplore.ieee.org/document/10786564 ; de még sok az izgalmas nyitott kérdés.

Ezek között szerepel pl.:

- korlátlogikai programozás (CSP) beépítése a Prolog mellé

- optimalitás-bizonyítás beépítése

- blokklánc alapú "Verifiable Credential"-ek, mint bizalmas bemenetek

Ez a téma a Computer Science és Engineering határán mozog, viszonylag mély, kutatási jellegű és komolyabb "felkészülést" igényel - ami az önálló laboratóriumi munka részét képezi.

Figyelem: a kiírás "tématerület" jellegű, az önálló laboratórium pontos célját (i.e., hova jutunk el a félév végére) a hallgatóval való személyes beszélgetések során, az egyéni preferenciákhoz szabva szoktam kialakítani. Érdeklődés esetén nyugodtan keressenek meg.