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.