Since September 2001 with the Department of Measurement and
Information Systems of the Budapest University of Technology
and Economics as assistant lecturer.
Ph.D student of the Department of Measurement and Information
Systems of the Technical University of Budapest; 1998-2001.
Spent 1 month at the Friedrich-Alexander University of
Erlangen-Nuremberg, Germany (IMMD3) in the framework of the
DAAD-MÖB project Nr. 8 in 2001.
Student of the First Euro Summerschool on Trends in Computer
Science Formal Methods and Performance Analysis
July 2000, Berg en Dal, The Netherlands.
Spent 2 months at the Friedrich-Alexander University of
Erlangen-Nuremberg, Germany (IMMD3) in the framework of the
DAAD-MÖB project Nr. 8 in 2000.
Spent 6 months at the Friedrich-Alexander University of
Erlangen-Nuremberg, Germany (IMMD3) in the framework of the
TEMPUS JEP 11199-96 project in 1998-1999.
Spent 3 months as a guest researcher at the Friedrich-Alexander
University of Erlangen-Nuremberg, Germany (IMMD3) in the
ESPRIT research project Nr. 27439 HIDE in 1998.
Participation in the following national and international projects:
- ESPRIT research project Nr. 27439 HIDE - High Level
Integrated Design Environment for Dependability (1998)
- OTKA F-030553 research project Formal Verification of
Safety Requirements in Fault Tolerant Systems
(1999-2001)
- OTKA T-030804 research project Automated Verification
and Validation of UML-based Models of Information
Systems (1999-2001)
- DAAD-MÖB 8/2000 research project UML Based Modelling
and Design of Technological Processes (2000-2001)
- IKTA 65/2000 research project Framework for the
Development and Testing of Dependable and
Safety-Critical Systems (2000-2002)
- IKTA 173/2000 research project BPM Based Robust
e-Business Application Development (2000-2002)
- Research project Integrated Information Systems
(I2RT) (2001-2002)
- FKFP-103/2001 research project Development of Robust
Object-Oriented Systems (2001-2003)
- OTKA T-038027 research project Operation Research
Methods for the Analysis and Verification of Information
Technology Systems (2002-2004)
