> Hello, world!
I am also the head of the computer science department.
My scientific area is formal methods in software engineering, including model-based testing, among others.
I am also interested in the research on big data and machine learning (I cannot ignore the trends :-))
In 2017, I am in the PC of the following conferences, which I warmly recommend: ICST'18, MODELSWARD'18, MOBILESoft'17.
 This website was updated in August 2017
|