2001 szeptembere óta a BME Méréstechnika és Információs Rendszerek
Tanszékének tanársegédje.
1998-2001-ben a BME Méréstechnika és Információs Rendszerek
Tanszékének doktorandusz hallgatója.
1999 óta részt vettem az OTKA F030553, OTKA T038027, OTKA
T030804, az FKFP 193/1999, a KHVM 81/2000, és az IKTA 65/2000
számú magyar kutatási projektekben.
2000-2001-ben tagja voltam a MÖB-DAAD 8/2000. számú német-magyar
kutatócsere programnak.
2000 júliusában a First Euro Summerschool on Trends in Computer
Science Formal Methods and Performance Analysis Berg en Dal,
Hollandia hallgatója voltam.
1998-2001 között 13 hónapot töltöttem az erlangeni (Németország)
Friedrich-Alexander Egyetemen különböző TEMPUS és DAAD kutatási
programok résztvevőjeként és vendégkutatóként.
1998-ban tagja voltam az ESPRIT 27439. számú európai uniós
kutatási projektnek.
Közreműködtem az alábbi magyar és nemzetközi projektekben:
- ESPRIT Nr. 27439 HIDE - High Level Integrated Design
Environment for Dependability kutatási projekt (1998)
- OTKA F030553 kutatási projekt Biztonsági követelmények
formális ellenőrzése hibatűrő rendszerekben
(1999-2001)
- OTKA T030804 kutatási projekt Informatikai rendszerek
UML bázisú automatikus verifikációja és validációja
(1999-2001)
- DAAD-MÖB 8/2000 kutatási projekt Technológiai
folyamatok UML alapú modellezése és tervezése (2000-2001)
- IKTA 65/2000 kutatási projekt Keretrendszer
nagymegbízhatóságú, biztonságkritikus rendszerek
fejlesztéséhez és teszteléséhez (2000-2002)
- IKTA 173/2000 kutatási projekt BPM alapú robosztus
e-Business alkalmazás fejlesztés (2000-2002)
- Integrált informatikai rendszerek tervezése
kutatási projekt (I2RT) (2001-2002)
- FKFP-103/2001 kutatási projekt Robosztus
objektum-orientált rendszerek optimális kialakítása
(2001-2003)
- OTKA T038027 kutatási projekt Operációkutatási módszerek
műszaki informatikai rendszerek analízisében és
verifikációjában (2002-2004)