
Dobos-Kovács Mihály
doktorandusz
E-mail cím
dobos (*) mit * bme * hu
Iroda
IL405
Dobos-Kovács Mihály a Kritikus Rendszerek Kutatócsoport tagja. Doktori témavezetője Vörös András .
Dobos-Kovács Mihály a Budapesti Műszaki és Gazdaságtudományi Egyetemen doktorandusza. Kutatási területe a formális módszerek felhasználása hatékony tesztgenerálási módszerek fejlesztésére. Mihály a Theta, egy nyílt forráskódú, moduláris formális verifikációs keretrendszer aktív fejlesztője, valamint részt vett a PLCverif, a CERN által fejlesztett, PLC kódok formális verifikációját támogató eszköz fejlesztésében is.