C
Research Interests
Program Analysis & Verification
Programming Languages
Security & Privacy
Software Engineering
Software Testing and Debugging Techniques
Software Engineering Research
Software Reliability and Analysis Research
Advanced Malware Detection Techniques
Natural Language Processing Techniques