> 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.

In 2022, I am in the PC of the following conferences, which I warmly recommend: MODELSWARD'23, QUATIC'22, RCIS'22, ICSEA'22, SERENE'22, ASE4Games'22.   
Website updated June 2022