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, but I am also interested in research on data science and machine learning (I cannot ignore the trends :-))
