I am associate professor in the computer science department at University of Bucharest in Romania.
> Hello, world!
My scientific area is formal methods in software engineering. I currently investigate model-based testing using different techniques, with a special application domain in service-oriented architectures. This work was initiated during my post-doctoral time at SAP Research, Germany.