> 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 and cybersecurity, but I am also interested in research using machine learning (I cannot ignore the trends :-)) E.g., I am 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, ICSEA'21, SERENE'21, MODELSWARD'22, RCIS'22.   
Website updated Nov 2021