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