Mathematics undergraduate at the University of Benin interested in formal methods, theorem proving, algorithm design, competitive programming, and software engineering.
A library indexing and collaboration platform developed for the Nigerian Association of Mathematics Students (UNIBEN).
Stack: PHP (Slim 4), PostgreSQL, Next.js, Docker
A platform for forming and managing teams for the Nigerian Collegiate Programming Contest.
Stack: PHP, MySQL, Next.js
Collaborative research project studying relationships between equational theories of magmas.
Contributing to the formalization of results in analytic number theory.
Contributions across the IBM Quantum ecosystem.
Contributed to a community-maintained database of open mathematical problems.