S
Research Interests
Compilers
Program Analysis and Optimization
Programming Language Implementation
Parallel Computing and Optimization Techniques
Logic, Programming, and Type Systems
Formal Methods in Verification
Advanced Malware Detection Techniques
Software Testing and Debugging Techniques