Graics Bence
Tudományos segédmunkatárs, okl. mérnökinformatikus
- Cím
- 1117 Budapest, Magyar Tudósok krt. 2. IB. 414.
- graics [at] mit.bme.hu
- Telefon
- +36 1 463 3579
- Honlap
- https://inf.mit.bme.hu/members/graicsb
Rövid bemutatkozás
Graics Bence a Budapesti Műszaki és Gazdaságtudományi Egyetem doktorandusza. Kutatási területe a komponens alapú reaktív rendszerek modellvezérelt fejlesztése és ellenőrzése formális módszerek alkalmazásával. Bence a Gamma Statechart Composition Framework, egy a komponensalapú reaktív rendszerek tervezésére és ellenőrzésére szolgáló modellezési keretrendszer fő fejlesztője. Bence a munkáját több konferencián, pl. az ICSE'18 és MODELS'20 konferencián, és a Software and Systems Modeling (SoSyM) folyóiratban is bemutatta.
Tanulmányok
- 2019 - jelenleg: Doktorandusz, Budapesti Műszaki és Gazdaságtudományi Egyetem
- 2017 - 2019: Mérnök informatikus MSc, Budapesti Műszaki és Gazdaságtudományi Egyetem
- 2013 - 2017: Mérnök informatikus BSc, Budapesti Műszaki és Gazdaságtudományi Egyetem
Részvétel kutatási projektekben
- 2016 - jelenleg: Gamma komponens alapú reaktív rendszerek fejlesztését és ellenőrzését támogató keretrendszer fejlesztése.
- 2019 - jelenleg: Prolan-VKE - Elosztott elektronikus vasúti biztonsági logika verifikációja.
- 2019 - jelenleg: ADVANCE - Jövőbeli kiberfizikai rendszerek verifikációs és validációs kihívásainak kezelése.
- 2019 - 2020: MTA-BME Lendület - Kiberfizikai rendszerek tervezése és ellenőrzése.
Oktatási tevékenység
Aktuális
- Formális módszerek (MSc)
Korábbi
- Rendszermodellezés (BSc)
- Rendeszertervezés labor 1 (BSc)
- Informatikai rendszertervezés (BSc)
- Szoftver- és rendszerellenőrzés (MSc)
- Modell alapú rendszertervezés (Msc)