Moshood A. Fakorede
Doctoral Researcher · LSU
Contact
Doctoral researcher in Computer Science at LSU, advised by Dr. Umar Farooq. I build program analysis techniques, benchmarks, and evaluation methods that measure and improve how large language models write, migrate, and reason about real-world code.
I develop program analysis techniques to detect software defects and check whether applications satisfy platform requirements. My work includes static analysis for Android Auto apps, with broader interests in automated reasoning and formal verification for software reliability.
I study how to evaluate and improve code models and coding agents for software development. I am particularly interested in post-training with execution, program analysis, and verification feedback to improve the correctness and reliability of AI-generated software.
I analyze real-world repositories to study software defects, technology adoption, and migration challenges. My work examines bugs in quantum simulators, post-quantum cryptography adoption, and how developers maintain and evolve software systems.
I study how large language models can be paired with deterministic program analysis and formal verification to move AI-assisted software engineering from pattern matching to proof.
My work spans static analysis (AutoComply) and benchmarking (MobileDev-Bench, LintBench), measuring how far LLMs actually get on real mobile development and lint generation.
Before my PhD, I spent over three years as a software engineer, shipping SaaS features at Cadana Inc. and building production systems at ARM Pensions PFA, including remediating 20+ CVEs across the OWASP Top 10. That practitioner's eye for what breaks in production shapes the research questions I ask now.
Work on program analysis, AI4SE, and code migration: two accepted including one oral presentation, two under review, two in submission.
Chosen from 150 ISSTA AE 2026 committee members for high-quality reviews, active discussion, and timely evaluation.
View certificateAwarded to attend the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2026.
Recognized by the AIR Program at Louisiana State University, February 2026.
Program and artifact evaluation committees across software engineering, AI and security venues, plus hands-on work with students at LSU.
Serving on the Shadow Research Track Program Committee for ICSE 2027 and the Junior Program Committees for TechDebt 2027 and MSR 2027.
Serving on Artifact Evaluation Committees for ASE, ISSTA, OOPSLA, SOSP, CAIS, WWW, CCS, PETS, MobiSys, and ISSRE.
Accepted as a Student Volunteer for SPLASH/ISSTA 2026 in Oakland, California. View certificate
Judged the Undergraduate Research & Creativity Conference at Louisiana State University.
Judged the High School Summer Research poster competition, LSU College of Engineering.
Mentored undergraduate students on benchmark construction, design, and evaluation.
Guiding students and collaborating on research projects, from dataset construction to publication.
Collaborating on a post-quantum cryptography adoption study and a PQC benchmark.
Contributing to dataset construction, benchmark design, and evaluation of a large-scale code migration corpus.
Contributed to translating the HumanEval benchmark from Python into Kotlin, supporting dataset construction for evaluating LLMs on Kotlin code generation.
If you're interested in collaborating or being mentored on research in program analysis, formal verification, AI4SE, or code migration, please reach out.
Whether it's a research collaboration, an internship opportunity, or a conversation about any of my works, I'd love to hear from you.