PhD Candidate in Computer Science @ LSU
Software Reliability • Program Analysis • AI4SE

Researching program analysis and agentic AI to improve the reliability and correctness of software systems.

🌐 Website • 💼 LinkedIn • 📧 Email • 📄 arXiv • 🎓 Google Scholar

Louisiana State University | Jan 2024 – Present
PhD in Computer Science | GPA: 4.0

Specializing in program analysis, agentic AI, and AI4SE. Researching automated techniques to detect software defects and evaluate the reliability of AI-powered developer tools.

Federal University of Abeokuta | May 2019
B.Sc. Computer Science | GPA: 3.5

MobileDev-Bench — Designed and built a benchmark of 384 real-world issue-resolution tasks across 18 production mobile apps (Android, React Native, Flutter). Evaluated four frontier LLMs (GPT, Claude, Gemini, Qwen), revealing that even the best models achieve only 3.39–5.21% resolution rates — exposing a critical gap in mobile software engineering capability. (arXiv:2603.24946, under review at EMNLP)

AutoComply — Built a novel static analysis framework using our proposed Car-Control Flow Graph (CCFG) to detect platform-specific compliance violations in Android Auto apps. Detected 27 violations across 31 apps — 13× more than Android Lint — with zero false positives. (Published at AST 2026)

SpecForge (in progress) — Designing an agentic LLM system that integrates AI agents with formal verification workflows (OpenJML, KeY) to automate specification synthesis and bug detection in Java and Kotlin programs.

• MobileDev-Bench: A Comprehensive Benchmark for Evaluating LLMs on Mobile Application Development — Under review at EMNLP (arXiv:2603.24946)
• Understanding and Detecting Platform-Specific Violations in Android Auto Apps — Accepted at IEEE/ACM AST 2026 (arXiv:2503.04003)
• Understanding Bugs in Quantum Simulators: An Empirical Study — Under review at OOPSLA (arXiv:2603.22789)

AutoComply | Java, Python, Soot
Static analysis framework using a Car-Control Flow Graph (CCFG) to detect platform-specific compliance violations in Android Auto apps; found 27 violations across 31 apps — 13× more than Android Lint — with zero false positives (AST 2026)

MobileDev-Bench | Python, GitHub API, HuggingFace, Android, React Native, Flutter
Benchmark of 384 real-world mobile issue-resolution tasks with a compilation-aware automated evaluation pipeline for frontier LLMs

spring-boot-microservices | Java, Spring Boot, Docker, GKE
Production-ready microservices ecosystem with service discovery, distributed tracing, and circuit-breaker fault-tolerance patterns

kafka-springboot-microservices | Java, Spring Boot, Kafka
Event-driven microservices architecture demonstrating asynchronous communication with Apache Kafka

skin-cancer-classification | Python, PyTorch, Streamlit
Benchmarked CNN architectures on HAM10000; EfficientNet-B2 achieved 87.47% accuracy, exceeding average dermatologist accuracy (77.6%)

olist-big-data-analysis | Python, Apache Spark, GCP
Distributed analytics pipeline on GCP Dataproc processing 100K+ records; reduced query execution time by 70% over single-node baseline

Languages & Frameworks: Java • Python • Spring Boot • JavaScript • Node.js • FastAPI
ML & AI: PyTorch • HuggingFace • LangChain • LangGraph • RAG • LLM Evaluation & Benchmarking
Cloud & Infrastructure: AWS • GCP • Docker • Kubernetes • Kafka • Apache Spark • MySQL • MongoDB
Research Tools: Soot • FlowDroid • OpenJML • KeY • SLURM/HPC

AWS Certified AI Practitioner | AWS Developer Associate (in progress)

🏆 Excellence in Computer Science Research, AIR Program (LSU), 2026
🏆 Phi Kappa Phi, Top 10% Graduate Students, LSU, 2026
🏆 Sigma Xi, Scientific Research Honor Society, 2026

📋 Member, Artifact Evaluation Committee, The Web Conference (WWW) 2026
📋 Member, Artifact Evaluation Committee, MobiSys 2026
📋 Member, Artifact Evaluation Committee, PETS 2026
📋 Judge, LSU Discover Day Undergraduate Research Conference, 2026

🔬 Researching agentic AI for static analysis and formal verification
🛠 Building SpecForge — agentic formal verification for Java & Kotlin programs
💼 Open to Summer 2026 & 2027 internships in Software Engineering, Applied Science, or GenAI

Board games enthusiast and travel explorer ✈️