Omer Boehm           

Research Interests

• 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