Emmanuel Osalotioman Osazuwa

Mathematics Undergraduate · University of Benin

Education

B.Sc. Mathematics
University of Benin, Nigeria
2023 – Present · Expected Graduation: 2026

Relevant Coursework:
Linear Algebra, Classical Mechanics, Number Theory, Mathematical Methods, Mathematical Modelling, Numerical Analysis, Quantum Mechanics, Fluid Dynamics

About

I’m a mathematics undergraduate with interests in competitive programming, quantum computing, and algorithm design. I spend time solving problems, contributing to open-source projects, and building practical applications. I enjoy building software across a range of domains, especially projects that incorporate mathematical ideas I’m interested in, and collaborating with others to turn ideas into working systems.

Areas of Interest:

Number Theory & Mathematics
Competitive Programming
Quantum Computing
Algorithm Design
Web Development
Backend Development / DevOps (CI/CD)
Computational Complexity Theory

Languages: C++ (Competitive Programming), Python (Competitive Programming, Backend Development), JavaScript & TypeScript (Full-stack Web Development), Fortran, PHP (Backend Development)
Typesetting: LaTeX
Databases: MySQL, PostgreSQL, MongoDB
Frameworks: FastAPI, Laravel, Express

Work Experience

Phone Technician Apprentice

ByGrace Communications · Full-time
April 2020 - August 2020 · 5 months
Onsite

Responsibilities:

Diagnosed and repaired hardware issues on mobile devices including screen and battery replacements
Performed software troubleshooting, updates, and system resets on various smartphone brands
Assisted customers with technical issues and provided recommendations for device maintenance
Maintained inventory of spare parts and repair tools
Learned hands-on technical skills in electronics troubleshooting and repair

Skills: Hardware Troubleshooting · Mobile Device Repair · Customer Service · Technical Support · Problem Solving

Backend/DevOps Engineer

Zkyte Technologies · Full-time
Feb 2025 - Nov 2025 · 10 months
Remote

Responsibilities:

Built and maintained CI/CD pipelines to automate testing, linting, and deployment processes
Containerized applications with Docker and managed local development environments for smooth team workflows
Collaborated with Dev team to ensure seamless API integration and continuous deployment
Conducted code reviews and implemented best practices for clean, maintainable, and testable backend code
Wrote detailed technical documentation for APIs, data models, and service architecture
Contributed to improving system security, logging, and error handling for production reliability

Skills: Server-Side Programming · Docker · GitHub · CI/CD · Project Management

Certifications & Achievements

Qiskit Global Summer School 2024: The Path to Utility

IBM Quantum
Issued: August 2024
View Certificate →

Open Source Contributions

The Equational Theories Project : Advancing Collaborative Mathematical Research at Scale

An online collaborative pilot project to explore new ways to collaborate in mathematics with machine assistance through mapping out the relations between different equational theories of Magmas.
Lean, C, TeX, Python, JavaScript, Ruby
View project website →
View paper →
View project on GitHub →
View contributions on GitHub →

Qiskit [qiskit, documentation, qiskit-ibm-runtime]

Qiskit is a collection of software for executing programs on quantum computers.
Python, Rust, C, OpenQASM, Jupyter Notebooks, TypeScript, MDX
View docs website →
View org on GitHub →
View contributions to Qiskit/qiskit on GitHub →
View contributions to Qiskit/qiskit-ibm-runtime on GitHub →
View contributions to Qiskit/documentation on GitHub →

Erdős Problems Database Repository

A community database for the problems on the erdosproblems.com site
Python
View main website →
View database website →
View database repository on GitHub →
View contributions on GitHub →

Natural Number Game Lean 4

This is a game to help ease people into the concept of how the Lean Proof Assistant works, it as a remake of the Classical Natural Number Game which was originally written in Lean 3.
Lean
View live game →
View game on GitHub →
View contributions on GitHub →

Personal Projects

NCPC

A website to digitize the process of students forming teams for the Nigerian Competitive Programming Contest.
View live site →

Chess Engine

Two-player chess game with complete game logic implementation.
JavaScript, Game Development
View game site →
View on GitHub →

Lecture Notes

Educational resource repository for Computer Science courses.
Documentation
JavaScript, Tailwind CSS, Educational Software Development
View site →
View on GitHub →

Arduino Projects

IoT and embedded systems experiments with Arduino.
C++, Hardware
View on GitHub →

View all repositories →

Contact

Email: osalotioman@gmail.com, emmanuel.osazuwa@physci.uniben.edu
GitHub: github.com/Osalotioman
LinkedIn: linkedin.com/in/osalotioman
Codeforces: codeforces.com/profile/Osalotioman
YouTube: youtube.com/@osalotioman
ORCID: 0009-0003-1415-8263