| Differential privacy | Type theory, probabilistic programming, Bayesian reasoning | Compiler construction, functional programming, software testing |
| Timed games | Model learning, multi-objective scheduling, planing | Software verification, compiler construction |
| Cyber-physical systems | Real time, program synthesis, reliability | Software verification, software testing, software engineering |
| Location privacy | Static analysis, model checking, game theory | Software verification, compiler construction |
| Data cleaning | Unstructured data, statistical analysis, security | Machine learning and data mining, software engineering |
