Mondok Milán

doktorandusz
A doktorandusz fényképe

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: 
mondok (*) mit * bme * hu
Személyes honlap: 
http://home.mit.bme.hu/~mondok/
Konzulens: 
Molnár Vince
Tanulmányok kezdete: 
2023
Tanulmányok vége: 
2027

Bevezetés

Mondok Milán a Budapesti Műszaki és Gazdaságtudományi Egyetem doktorandusza. Kutatási területe a kritikus rendszerek és a formális verifikáció, elsősorban a SysML rendszermodellek modellellenőrzése. Hozzájárult a Theta modellellenőrző keretrendszer fejlesztéséhez és részt vesz blokklánc alkalmazások ellenőrzésére fókuszáló ipari projektekben. A formális verifikáció gyakorlati alkalmazásaival foglalkozott a CERN gyakornokaként.

Kutatás

Doktori téma: 
Heterogén rendszermodellek nagyhatékonyságú formális ellenőrzése
Kutatócsoport: 
Kritikus Rendszerek Kutatócsoport
Publikációs lista, tudománymetriai táblázat és szerzői oldalak:  ORCID  Google Scholar

Oktatás

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