> Hello, world!
![]() I am also the head of the computer science department.
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 in the PC of the following conferences, which I warmly recommend: ICST'20, MODELSWARD'20, SERENE'19, STAF-RPS'19.
|