Graics Bence

doktorandusz
A doktorandusz fényképe

Elérhetőségek

Szoba: 
IB414
Iroda: 
1117 Budapest, Magyar tudósok krt. 2. I. ép. IB414
Tel.: 
+36 1 463-3579
Fax: 
+36 1 463-4112
Email: 
graics (*) mit * bme * hu
Személyes honlap: 
http://home.mit.bme.hu/~graics/
Konzulens: 
Majzik István
Tanulmányok kezdete: 
2019
Tanulmányok vége: 
2022

Bevezeté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.

Kutatás

Kutatócsoport: 
Kritikus Rendszerek Kutatócsoport
Publikációs lista, tudománymetriai táblázat és szerzői oldalak:  ORCID  Google Scholar  ResearchGate

Oktatás

© 2010-2021 BME MIT | Hibajelentés | Használati útmutató