> Hello, world!
![]() 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
I am in the PC of the following conferences, which I warmly recommend: ICSSP'21, QUATIC'21, MODELSWARD'21, Website updated Jan 2021
|