> Hello, world! 
I am associate professor in the computer science department at University of Bucharest in Romania. 

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

More details about me are available in the sections: biopublications, family, photos, contact.

In 2014, I am in the PC of the following conferences, which I warmly advertise: DeMobile'14ECMFA'14MODELSWARD'14, VALID'14I am also part of the organizing committee of ICTAC'14 conference, which will take place on 17-19 September 2014 in Bucharest, Romania.

My keywords


     View Alin Stefanescu's LinkedIn Profile

This website was updated in August 2014