Témakiírások

Cím	Konzulens
[EDGE-Skills EU projekt] "Verifiable Credential" adatminőség-tanúsítványok felhőközi adatcserében	Kocsis Imre
[NAV együttműködés] Adatszolgáltatási nyomtatványok gráfadatbázis alapú kezelése és szemantikus elemzése	Kocsis Imre
Adatminőség biztosítása adatterekben [EDGE-Skills EU Projekt]	Péter Bertalan Zoltán
Adatmodell-vezérelt okosszerződés fejlesztés vállalati blokkláncokhoz	Klenik Attila
AI és BPMN munkafolyamat modellek végrehajtásnak automatizációja	Farkas Martin
Automatikus szoftvertesztelés és tesztgenerálás	Micskei Zoltán
Autonóm járművek szimulációs tesztelése	Ficsor Attila
Autonóm rendszerekre vonatkozó követelmények leírása és monitorozása	Majzik István
Biztonságkritikus rendszerek modellezése és ellenőrzése	Majzik István
Biztonságkritikus rendszerek valószínűségi elemzése	Szekeres Dániel
Diverz-gráfgenerálás-alapú főkönyvtartalom szintetizáció	Péter Bertalan Zoltán
Entitáskezelő könyvtár fejlesztése Hyperledger Fabric okosszerződésekhez [Hypernate]	Péter Bertalan Zoltán
Felderítő adatelemzés támogatása LLM-ekkel	Kocsis Imre
Felhasználóbarát modellező eszközök a rendszertervezés támogatására	Szabó Richárd
Felhő alapú gráfgenerátor fejlesztése	Marussy Kristóf
Hibák injektálása okosszerződésekbe – LLM támogatással	Péter Bertalan Zoltán
Hibatűrő okosszerződések vállalatközi blokkláncokban	Kocsis Imre
Időzített rendszerek ellenőrző algoritmusainak fejlesztése	Cziborová Dóra
Informatika + Matematika + Nyelvészet = Modellezési nyelvek és szemantika	Molnár Vince
Kémia reakciók vizsgálata gráf alapú következtetéssel	Marussy Kristóf
Követelmények vizsgálata neuro-szimbolikus érveléssel	Marussy Kristóf
LLM alapú kódolási asszisztens fejlesztése modellezési nyelvhez	Marussy Kristóf
LLM-alapú természetes nyelvű magyarázat generálás microservice distributed tracing adatokhoz	Péter Bertalan Zoltán
LLM-alapú Verifiable Credential séma és kódgenerálás	Farkas Martin
LLM-ekkel támogatott hibaterjedés analízis blockchain rendszerekben (bekapcsolódás futó kutatásba)	Péter Bertalan Zoltán
Modellellenőrzési tanúk minőségének javítása és validációs módszerei	Ádám Zsófia
Modellezési nyelvek és eszközök tesztelése	Elekes Márton
Okosszerződések N-verziós programozása LLM ágensekkel	Péter Bertalan Zoltán
Oktatást támogató eszközök fejlesztése	Dobos-Kovács Mihály
OpenAPI validáció és kódgenerálás Hyperledger Fabric okosszerződésekhez [Hypernate]	Péter Bertalan Zoltán
OpenTelemetry támogatás Hyperledger Fabric okosszerződésekhez [Hypernate]	Péter Bertalan Zoltán
Önkiértékelésű deklaratív eljárásrendek Zero-Knowledge Proof támogatása	Kocsis Imre
Szervezetközi blokkláncok architektúratervezése a Refinery gráfgenerátor eszközzel	Kocsis Imre
Szimbolikus modellellenőrző algoritmusok fejlesztése	Mondok Milán
Szoftver helyességének ellenőrzése formális módszerekkel	Bajczi Levente
Újgenerációs tervezőeszközök komplex informatikai rendszerekhez	Molnár Vince
Verifiable Credential sémák vizuális szerkesztése és elemzése	Farkas Martin