> 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 :-)) I am also involved in the development of the RIVER tool (fuzz testing framework for binaries using AI): https://river.cs.unibuc.ro 

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: ICSSP'21, QUATIC'21, MODELSWARD'22,   
Website updated Apr 2021