Moshood A. Fakorede

Moshood A. Fakorede

Doctoral Researcher · LSU
Contact
Doctoral Researcher · Louisiana State University

Making AI-assisted software reliable.

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.

Moshood A. Fakorede
Open to Summer 2027 Internships Baton Rouge, LA
Scroll

Program Analysis & Reliability

Developing novel techniques to automatically detect and prevent software defects, improve system stability, and enhance overall software quality.

Neuro-Symbolic AI for Verification

I treat large language models as generators of hypotheses, not final judges, pairing their output with program analysis and formal certification to catch what pattern-matching alone misses.

Benchmarks for AI4SE

I build and release benchmarks (MobileDev-Bench, LintBench, J2KMigBench) that measure how far LLMs actually get on real mobile development, static analysis, and code migration tasks.

Teaching, Mentorship & Service

I teach object-oriented design and programming languages at LSU, mentor undergraduates on static analysis, and serve on program and artifact evaluation committees across the SE and security community.

Researcher, engineer,
and problem solver

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, J2KMigBench), measuring how far LLMs actually get on real mobile development, lint generation, and cross-language code migration.

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.

4.0
PhD GPA at LSU
3+
Years in industry before the PhD
20+
CVEs remediated in production systems
1,000s
Users reached through products I've helped build
2+
Years in PhD Research
5+
Publications
4
Honors & Awards
12+
PC & AE Committees

Publications & Preprints

Work on program analysis, AI4SE, and code migration: one accepted with oral presentation, three under review, one in preparation.

AST 2026 · Oral Presentation

Understanding and Detecting Platform-Specific Violations in Android Auto Apps

Fakorede, M. A., & Farooq, U. · IEEE/ACM AST '26, pp. 123–133
Published
Preprint · Under Review

MobileDev-Bench: A Benchmark for Issue Resolution in Mobile Application Development

Under Review
Preprint · Under Review

LintBench: How Far Can LLMs Go in Generating Android Lint Checks from Natural Language?

Under Review
Preprint · In Preparation

J2KMigBench: A Dataset for Benchmarking Java-to-Kotlin Code Migration

Fakorede, M. A., Rubio-Gonzalez, M., & Farooq, U.
In Preparation
Preprint · Under Review

Understanding Bugs in Quantum Simulators: An Empirical Study

Upadhyay, K., Fakorede, M. A., & Farooq, U.
Under Review

Where I've worked & what I've built

JAN 2024 – PRESENTProgramming Systems Group, LSU

Research Assistant · Advised by Dr. Umar Farooq

  • Built AutoComply, a static analysis tool using a novel Car-Control Flow Graph to detect Android Auto compliance violations; published at AST 2026.
  • Constructed and released MobileDev-Bench, a 407-task benchmark evaluating LLMs on real-world mobile issue resolution; frontier models resolve under 12% of tasks pass@1.
  • Developed and open-sourced LintBench, a 113-check benchmark evaluating LLMs on generating Android Lint checks; raised pass rate from 64.6% to 85.0% via retrieval and execution-guided repair.
  • Built J2KMigBench, a dataset of 23,951 confirmed Java-to-Kotlin migration commits across 1,961 real repositories, packaged as git-history-stripped, network-isolated Docker images so migration agents can be evaluated without answer leakage.
Program AnalysisBenchmarksCode Migration
JAN 2024 – DEC 2025Dept. of Computer Science & Engineering, LSU

Teaching Assistant

  • CSC 3380: Object Oriented Design (Spring 2024, Spring 2025).
  • CSC 4101: Programming Languages (Fall 2024, Fall 2025).
TeachingCurriculum Support
SEP 2022 – DEC 2023Cadana Inc · Remote

Software Engineer

  • Built and shipped frontend features for a payroll, benefits, and HR SaaS platform reaching thousands of end users, using Vue.js, Tailwind CSS, Figma, and Storybook, including multi-factor authentication, invoicing, and contract management.
  • Implemented statutory tax and pension reporting across Ghana, Nigeria, and other African markets, and designed role-based access control for the business dashboard.
Vue.jsTailwind CSSSaaS
AUG 2020 – AUG 2022ARM Pensions PFA Ltd · Lagos, Nigeria

Application Developer

  • Designed and shipped 10+ production web applications with Laravel, Vue.js, and MySQL to digitize enterprise workflows, supporting 500+ internal users and cutting manual processing by 40%.
  • Orchestrated vulnerability assessments and dependency remediation across 5+ Laravel applications, resolving 20+ CVEs across the OWASP Top 10.
  • Built and integrated a Corporate Internet Banking REST API into core accounting microservices, automating 95% of payment instructions and saving 20+ hours weekly.
LaravelSecurityMySQL

Academic Foundation

Jan 2024 – Present

PhD in Computer Science

Louisiana State University · Baton Rouge, LA
Research focus: program analysis, AI for software engineering, automated reasoning, software reliability & security. Advised by Dr. Umar Farooq.
Jan 2024 – Dec 2026

M.S. in Computer Science

Louisiana State University · Baton Rouge, LA
Pursued en route to the PhD, awarded on completed graduate coursework and credit hours.
Jan 2015 – May 2019

B.Sc. in Computer Science

Federal University of Agriculture, Abeokuta · Nigeria
Foundation in computer science before three years of industry work in fintech and enterprise software.

Skills & Tools

Research & Analysis
Program Analysis Neuro-Symbolic AI Benchmark Design & Eval Empirical Software Engineering Automated Reasoning Formal Verification
Domains
AI4SE Software Reliability Mobile Systems (Android) Software Security
Languages
Python Java Kotlin JavaScript
Product Engineering (pre-PhD)
Vue.js Laravel Tailwind CSS Figma Storybook
Tools & Frameworks
🔥PyTorch
🤗HuggingFace
🔗LangChain
🕸️Soot
📱FlowDroid
🔎CodeQL
🧮Z3
🛡️Viper
🐳Docker
🔀Git
☁️AWS
🐬MySQL

Honors & Awards

01

NSF Student Travel Grant

Awarded to attend the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2026.

02

Excellence in Computer Science Research Award

Recognized by the AIR Program at Louisiana State University, February 2026.

03

Sigma Xi Induction

Inducted into The Scientific Research Honor Society, April 2026.

04

Phi Kappa Phi

Invited to join The Honor Society of Phi Kappa Phi, March 2026.

Academic service & volunteering

Program and artifact evaluation committees across software engineering and security venues, plus hands-on work with students at LSU.

ICSE 2027

Junior PC Member

Serving on the Shadow Research Track Program Committee for the International Conference on Software Engineering (ICSE) 2027.

2026

Artifact Evaluation Committee

Serving on Artifact Evaluation Committees for ASE, ISSTA, OOPSLA, SOSP, CAIS, WWW, CCS, PETS, MobiSys, and ISSRE.

ISSTA 2026

Student Volunteer

Accepted as a Student Volunteer for SPLASH/ISSTA 2026 in Oakland, California.

2026

Judge, LSU Discover Day

Judged the Undergraduate Research & Creativity Conference at Louisiana State University.

2026

Judge, HSSR Poster Competition

Judged the High School Summer Research poster competition, LSU College of Engineering.

2026 – Present

Undergraduate Mentorship

Mentored undergraduate students on benchmark construction, design, and evaluation.

Let's Connect!

Whether it's a research collaboration, an internship opportunity, or a conversation about any of my works, I'd love to hear from you.

🎓
Assistant
Ask me anything about Moshood
Hi! I'm a quick FAQ bot — ask about Moshood's research, publications, experience, or how to reach him. Try one below, or type your own.