> Hello, world!
![]() 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
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
|