I am assistant professor in the computer science department at University of Pitesti in Romania.
> Hello, world!
I also supervise a research project in industry at Softwin (part-time).
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.