> Hello, world! 

I am an associate professor in the computer science department at University of Bucharest in Romania. 
I am also the head of the computer science department.

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 and machine learning (I cannot ignore the trends :-))

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

In 2017, I am in the PC of the following conferences, which I warmly recommend: MOBILESoft'17MODELSWARD'17.  
     View Alin Stefanescu's LinkedIn Profile            
This website was updated in January 2017