Ádám Zsófia
doktorandusz
![A doktorandusz fényképe](https://www.mit.bme.hu/system/files/imagecache/Photo_normal/user_pictures/phd/adamzsofi.jpg)
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:
adamzsofi (*) mit * bme * hu
Személyes honlap:
http://home.mit.bme.hu/~adamzsofi/ Bevezetés
A Budapesti Műszaki és Gazdaságtudományi Egyetem doktorandusza, témája a formális módszerek, elsősorban modellellenőrzők. A modellellenőrzési folyamat minden lépése érdekli: a különböző alkalmazási területektől és modelltranszformációktól kezdve a különböző modellellenőrző algoritmusokon, portfóliókon és algoritmus választáson keresztül az eredmény validálásáig. Munkájában hangsúlyt kap a modellellenőrzők valós projektekre való alkalmazhatósága és használhatósága. Nemcsak a szoftverellenőrzéssel, de PLC-kód, hardver és mérnöki modellek formális ellenőrzésével is foglalkozott/foglalkotik
Kutatás
Doktori téma:
Modellellenőrzési algoritmusok hatékonyságának és alkalmazhatóságának javítása
Kutatócsoport:
Kritikus Rendszerek Kutatócsoport