A honosítás alapjául szolgáló fokozat: Intézmény: University of Leicester, Leicester, Egyesült Királyság Értekezés címe: Modellszintű refaktorizációk kompozícionális verifikálása gráftranszformációk segítségével Fokozat dátuma: 2010-01-22
2024. IV. 17. ODT ülés Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).