> Hello, world! 

I am a full professor in the computer science department at University of Bucharest in Romania. 

My scientific area is formal methods in software engineering, but I am also interested in research on data science and machine learning (I cannot ignore the trends :-))

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

I am in the PC of the following conferences, which I warmly recommend: SERENE'20, MODELSWARD'21,  ICST'20, FROM'20.  
 View Alin Stefanescu's LinkedIn Profile 
Website updated June 2020