Örömmel tudatjuk, hogy az EMMI Új Nemzeti Kiválóság Programjának [1] (ÚNKP) keretében ösztöndíjban részesült tanszékünk több munkatársa és hallgatója is.
Marussy Kristóf (doktorandusz) a változó architektúrák megbízhatósági modellezését és analízisét vizsgálja. A kutatás célja a rendszer architektúrákhoz tartozó sztochasztikus modellek számításigényes kiértékelésének lerövidítése a magas szintű architektúra változások esetén, így hozzájárulva a tervezőeszközökben a gyors visszajelzéshez, valamint a tervezési alternatívák hatékony összehasonlításához.
Szárnyas Gábor (doktorjelölt) kutatásának célja valósághű gráfok hatékony szintézise. A kutatás első fázisaként olyan metrikákat definiálunk, melyek alkalmasak egy gráf finomstruktúrájának jellemzésére. Ezt követően egy olyan generátort tervezünk, amely képes skálázható módon nagyméretű, valósághű gráfokat előállítani. A munka eredményei felhasználhatók lesznek a Linked Data Benchmark Council szervezettel jelenleg is folyamatban lévő kollaboráció [2] keretében tervezett benchmarkok fejlesztéséhez is.
Dr. Bergmann Gábor (adjunktus) a Bolyai+ posztdoktori öszöndíjban részesült, futó MTA Bolyai János Kutatási Ösztöndíjához kapcsolódóan. A szoftverfejlesztés elterjedt ipari megoldásaihoz (verziókezelők) képest a modellvezérelt szoftver- és rendszertervezés területén használt gráfstrukturájú rendszermodellek kezelése bonyolultabb követelményeket (pl. konzisztencia) támaszt. A kutatás azt vizsgálja, hogy ezek a feltételek milyen módon vagy mértékben biztosíthatóak akkor, ha (pl. exportkorlátozások miatt) hozzáférés-korlátozásokra is szükség van.
Hallgatóink közül Almási Nóra (konzulens: Molnár Vince) és Elekes Márton (konzulens: Szárnyas Gábor) pályázott eredményesen.
Almási Nóra BSc hallgatónk az ösztöndíjas időszakban arra keresi majd a választ, hogy miképpen lehet hierarchikus felépítésű rendszerek ellenőrzésekor a probléma struktúráját is figyelembe vevő absztrakciós technikákat alkalmazni.
Elekes Márton MSc hallgatónk témája gráfadatbázisok tesztelése, ill. az ezekben alkalmazott Cypher gráflekérdező nyelv alkalmazása relációs adatbázisok lekérdezésére. Márton korábban sikeresen alkalmazta a Cypher nyelvet automatatanuló algoritmus megvalósítására, amely munkát TDK dolgozatban [3], meetup előadáson [4] és külföldi szakmai rendezvényen [5] is bemutatta.
Az elnyert ösztöndíjhoz gratulálunk és eredményes kutatást kívánunk!