About Me

I am a PhD student in Computer Science at Louisiana State University, working as a Graduate Research Assistant under Dr. Umar Farooq. My research lies at the intersection of program analysis, formal methods, and mobile security , with a particular focus on developing static analysis techniques for mobile platforms. My current work investigates compliance and security violations in Android Auto applications, where I apply callback-aware static analysis to ensure apps meet safety requirements. I am also exploring software supply chain security, particularly in Android/JVM ecosystems, where malicious package detection remains an underexplored area. Ultimately, I aim to build automated tools that make mobile software ecosystems safer and more reliable, helping detect and prevent security and usability issues before they reach users.

Research Interests

  • Static Analysis: Developing techniques for analyzing Android applications
  • Android Security: Investigating compliance violations and security vulnerabilities in mobile applications
  • Formal Methods: Applying formal verification techniques to software testing
  • Software Supply Chain Security: Exploring malicious package detection in Android/JVM ecosystems

Recent News

  • 2026: Our paper titled “Detecting Compliance Violations in Android Auto Applications” was accepted at AST 2026! 🎉

Funding & Support

Graduate Research Assistantship
Louisiana State University, Department of Computer Science
Jan 2024 – Present

My research is supported in part by:

  • National Science Foundation (NSF) Grant No. 2449694: Toward Personalized and Trustworthy Mobile App Recommendations via Grounding App Behaviors
  • Louisiana Board of Regents: A Unified Framework for Static Analysis of Multi-Language Mobile Apps