> 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. I am also interested in the research on big data.

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

In 2016, I am in the PC of the following conferences, which I warmly recommend: MOBILESoft'16, MODELSWARD'16, and VALID'16.
My keywords

  

     View Alin Stefanescu's LinkedIn Profile
This website was updated in September 2016