> 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: ECMFA'14MODELSWARD'14, VALID'14I am also part of the organizing committee of ICTAC'14 conference, which will take place next September in Bucharest, Romania.

My keywords


     View Alin Stefanescu's LinkedIn Profile

This website was updated in April 2014