> 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, including model-based testing, among others.

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

In 2015, I was on the PC of the following conferences: MOBILESoft'16MODELSWARD'16DeMobile'15, CiE'15, and VALID'15.
My keywords


     View Alin Stefanescu's LinkedIn Profile
This website was updated in October 2015