Kutatási területek
- Modelltranszformációk
- Automatikus helyességigazolás
- Statikus analízis
- Eclipse alapú technológiák
PhD hallgató
Budapesti Műszaki és
Gazdaságtudományi Egyetem,
Méréstechnika és Információs
Rendszerek Tanszék,
Hibatűrő Rendszerek Kutatócsoport