His research outcomes have been published on top venues in the areas of Security, AI, Software Engineering, and Programming Languages, recognized by various distinguished paper awards including the prestigious ACM Distinguished Dissertation Awards. He has mentored over 30 PhD students and post-docs, with fifteen of them securing academic positions in various universities.
Research Experience
Served as the Principal Investigator (PI) for numerous projects funded by organizations such as DARPA, IARPA, ONR, NSF, AirForce, and industry. Ongoing projects include:
- Detecting Deception in Natural Language Processing Applications by Model Interpretation
- On-the-fly Cyber Crime Scene Transcription
- Program Analysis for Domain Specific Language Extraction of Legacy Software
Background
Specializes in AI security, software analysis, and cyber forensics. His work involves developing techniques to detect bugs, including security vulnerabilities, in traditional software systems as well as AI models and systems, and to diagnose runtime failures.