Dobos-Kovács Mihály

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: 
dobos (*) mit * bme * hu
Személyes honlap: 
http://home.mit.bme.hu/~dobos/
Konzulens: 
Vörös András
Tanulmányok kezdete: 
2022
Tanulmányok vége: 
2026

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

Kutatás

Doktori téma: 
Formális verifikáció támogatta tesztgenerálás biztonságkritikus szoftverek ellenőrzésére
Kutatócsoport: 
Kritikus rendszerek
Publikációs lista, tudománymetriai táblázat és szerzői oldalak:  Scopus  ORCID

Oktatás

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