- Workload modeling
- Data generation using adversarial NN
- Rule-based test data generation
- Software and network vulnerabilities in computer systems
- Automated security vulnerabilities detection using symbolic execution
- Static and dynamic analysis of binary and source code
- Compilers, post-link analyzers, parsing, code generation, code optimizations, sampling tools.
- Static and dynamic optimizations.
- Software engineering methods (OOA ,OOD, OOP)
- Operating Systems
- Computer (micro-)architecture