Szekeres Dániel
doktorandusz
Elérhetőségek
Szoba:
IL405
Iroda:
1117 Budapest, Magyar tudósok krt. 2. I. ép. IL405
Tel.:
+36 1 463-
Fax:
+36 1 463-4112
Email:
szekeres (*) mit * bme * hu
Személyes honlap:
http://home.mit.bme.hu/~szekeres/ Bevezetés
Szekeres Dániel a Budapesti Műszaki és Gazdaságtudományi Egyetem doktorandusza. Kutatási területe komplex biztonságkritikus rendszerek hatékony megbízhatósági elemzése, első sorban absztrakciós technikákra és struktúra alapú tömörítési módszerekre fókuszálva. 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 az EDCC'21 konferencián is bemutatta.
Kutatás
Oktatás
Aktuális témakiírásai: