Beosztás: Címzetes egyetemi tanárnyugdíjasSzoba: I.B.217Telefon: 25 89Email: Fax: 31 07Szerepkör, feladat: TTF elnökK+F Konzultált fokozatszerzések Kovács Gábor , Szelektív automatikus tesztgenerálás EFSM formális modellekhez hiba és string szerkesztési távolság alapú módszerekkel , 2010. 05 Palugyai sándor , Lista rendszerek modellezése és teljesitmény-vizsgálata , 2007. 07 Pap Zoltán , Hibák felderítése, diagnosztikája és korrekciója formális módszereken alapuló telekommunikációs szoftver fejlesztés során , 2006. 10 Szviatovszki Balázs , Útvonalválasztási algoritmusok tervezése és teljesítményvizsgálata adathálózatokban , 2003. 01 Csöndes Tibor , Konformancia tesztsorozatok optimalizálása , 2003. 01 Tanszéki díjak, elismerések 2003 : Kozma László Emlékérem Publikációk Közlemények jegyzéke az MTMT rendszerében: https://vm.mtmt.hu/search/slist.php?lang=0&AuthorID=10001228 English