AI & Data Engineer | PhD Computational Mathematics | Optimisation Researcher I build scalable data pipelines and optimisation solvers — from research prototypes to production-ready systems.
- Combinatorial Optimisation — Introduced the Set Covering Problem with Reasons (SCPR), a new class of optimisation problem arising from SMT solving. Built the full pipeline: data ingestion, automated preprocessing, heuristic solvers, and exact MILP solving. Read the paper on arXiv →
- Edge AI & IoT — Building Smart-Lite Insight, an edge-AI energy monitoring and anomaly detection system running on Raspberry Pi 5.
- FDE Recovery & Cryptographic Diagnostics — Building CipherRescue, an open-source bootable recovery framework that applies SCPR to diagnose Full Disk Encryption failures across BitLocker, LUKS2, VeraCrypt, and TCG Opal.
- ML for Bioinformatics — Applied SCPR to functional enrichment analysis on TCGA cancer datasets, identifying disease-associated gene sets.
Languages: Python, SQL, Bash, JavaScript
Data & ML: Pandas, NumPy, Scikit-learn, SciPy, PuLP, Matplotlib
Infrastructure: Git, Linux, Docker, CI/CD, REST APIs
Visualisation: Power BI, Matplotlib, Seaborn
Cloud: Google Cloud, Azure fundamentals
| Project | Description | Stack |
|---|---|---|
| Smart-Lite Insight | Edge-AI energy monitoring & anomaly detection on Raspberry Pi 5 | Python, RPi5, ML |
| CipherRescue | Bootable FDE recovery framework with LP-optimal diagnostic engine | Python, LP, MILP |
| SCPR Supplementary Files | Datasets, algorithms & solvers for the Set Covering Problem with Reasons | Python, LP, MILP |
- A. Babatunde, M. England, A. Sadeghimanesh. "Optimising Cylindrical Algebraic Coverings for Use in SMT by Solving a Set Covering Problem with Reasons." Submitted to Discrete Optimization (Elsevier), under review. arXiv:2601.14424 |
- 🎓 PhD Computational Mathematics — Coventry University (2025)
- 🏛️ STEM for Britain Finalist — Poster presentation at the UK Parliament (2024)
- 🎤 Speaker — International Congress on Mathematical Software, Durham (2024)
- 📜 Microsoft Certified Professional — Power BI (Active)
- ☁️ Google Cloud Innovator | Google ML Crash Course (14 badges)
- 🤝 Member, The OR Society | Chartered Management Institute (MCMI)
Head of AI Literacy at the African Institute for Artificial Intelligence — building AI education content for African learners, including curriculum design and offline deployment strategies.
