Cloud Computing
Natural Language Processing
Probabilistic Model-checking
Software
Artificial Intelligence / Machine Learning & Big Data Analysis
Program Analysis & Compiler Transformations
Big Data
Market Research
Formal Verification of Software/Hardware Systems
Data Science