BME-MIT

Szekeres Dániel a Budapesti Műszaki és Gazdaságtudományi Egyetem doktorandusza. Kutatási területe komplex biztonságkritikus rendszerek extrafunkcionális tulajdonságainak hatékony elemzése, főként olyan kvantitatív tulajdonságokra koncentrálva, mint a megbízhatóság és a rendelkezésre állás. Kutatásának elsődleges fókusza ezen tulajdonságok számítása sztochasztikus rendszermodellekből absztrakciós technikákkal. Ehhez kapcsolódóan a Theta modell ellenőrző keretrendszer valószínűségi kiterjesztésének fejlesztésén dolgozik. Dániel munkáját több nemzetközi (EDCC'21, ASMTA'24) és helyi konferencián is bemutatta.