Prism
In progress
A Rust-based symbolic execution pipeline for automatically reconstructing Solana program behaviour.
Rust / Program analysis / Solana / Z3
Ajibola Ojo
Software engineer building intelligent systems and high-performance software.
MSc Artificial Intelligence at the University of Bristol. I build systems across AI/ML, backend infrastructure and low-level software, with a focus on turning research ideas into working systems.
Selected work
Chess engine
In progress
A search-based chess engine used to measure how much playing strength fits inside strict compute and memory limits.
Search / Game AI / Performance
SolFi simulator
Complete
A local simulator that runs swaps against SolFi's WSOL/USDC pools in LiteSVM, in memory.
Rust / Solana / LiteSVM
Background
- BSc Computer Science, Landmark UniversityFirst Class
- Python and Rust engineerBackend and systems work, including Dreamers Inc
- Blockchain and systems infrastructureSolana, Ethereum, zero-knowledge proofs, hackathons from 2021 to 2024
- MSc Artificial Intelligence, University of BristolNow
- Software engineering
- Python and Rust services, tested and shipped, with the tooling that keeps them maintainable.
- AI and ML
- Moving from classical ML into deep learning, LLM systems and evaluation during the MSc.
- Systems
- Program analysis, simulation and latency-sensitive infrastructure on Solana.
- Open source
- Contributions to rotki and public tooling from past projects.
Research
Playing strength under compute constraints
How much playing strength can a chess engine reach under strict compute and memory limits, and which search techniques buy the most per node?
In progress
Interested in AI agents, ML systems, program analysis, LLM evaluation and efficient inference.
Experience
Dreamers Inc, Software Engineer
University of Bristol, MSc Artificial Intelligence
2026–present
Landmark University, BSc Computer Science, First Class
Contact
The fastest way to reach me is pro.ajibola@gmail.com.