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 :-))