Skip to content
Mohib Ahmad

Start-up Owner · National Incubation Center Lahore

Mohib
Ahmad

Systems that hold up when someone checks them.

A compiler for legal rules, a prior-authorization control plane, a shipped AI-services company, and a math paper. Each one below links to the artifact behind it.

Mohib Ahmad, computer science undergraduate at FAST NUCES Lahore
Class of
2028
GPA
3.98 / 4.0
Based in
Lahore, Pakistan
ORCID
0009-0001-8170-8179

Selected work

All work

Three projects that carry the most weight. Each card states the claim; the case study behind it carries the evidence, and the limitations.

Preprint · not yet submitted

Weighted Fourier certificates for maximum nullity in generalized Petersen graphs

There is a graph invariant that is hard to pin down, and a conjecture that it equals 8 for a whole infinite family of graphs. This paper proves the conjecture for a sixth of all cases by building matrices whose singularity is decided by where eight roots of a polynomial land on the unit circle. It then proves that this particular technique cannot finish the job — an arithmetic obstruction rules out the remaining cases. Establishing the limit of your own method is the less common half.

The shape rotating behind this section is P(n,3) — the graph the paper is about. Its outer cycle, spokes, and step-3 inner chords are drawn exactly as defined, and n cycles through 10, 24, 28, 42: the four divisibility families for which the certificates prove M(P(n,3)) = Z(P(n,3)) = 8. The chords change color with n, and every color on this site means one of these four.

Verification shipped with it

Symbolic checks
18 / 18 pass
verify_paper.py
Rational classification
14 candidates → 6 valid
classify_rational.py
Exhaustive search
no new modulus ≤ 420
search_moduli.py
Zero forcing, exact
7 ≤ n ≤ 27
zero_forcing.c

Record

Education, then roles. Four of these were founding roles — I tend to start the thing rather than join it.

Education

  1. BS Computer Science

    3.98 / 4.0 GPA

    FAST NUCES Lahore · Aug 2024 - Aug 2028

    Four-year bachelor's degree. FAST NUCES is Pakistan's top-ranked computer science university.

    Silver Medalist · Dean's List, twice

  2. A-Levels — Computer Science, Physics, Math

    A*AA

    Lahore Grammar School, Paragon · Aug 2022 - Aug 2024

    British pre-university exams, comparable to AP courses. A* is the top grade available.

    High Achiever's Award · Founder & President, Coding & Development Society

  3. O-Levels — Sciences

    7 A*s

    Source Code Academia · Aug 2019 - Aug 2022

    British high school qualifications. Top grade in all seven subjects.

    Silver and Bronze medals, HRCA · Vice President, Digital Literacy Club

Awards

  • 3rd place, National AI HackathonLahore, 2026
  • Silver MedalistFAST NUCES
  • Dean's ListTwice

Roles

  1. Start-up Owner

    National Incubation Center Lahore · Aug 2026 - present

  2. AI Systems Architect

    Epoches · Nov 2025 - May 2026

    • Shipped and operates epoches.co
    • SME delivery across 3 sectors
  3. Co-Founder & CEO

    Algorizms · Jun 2025 - Dec 2025

    • 23 interns recruited from 600+ applicants
    • 15+ pilot client demos secured
    • ~40% lift in user adoption
  4. Lead, Outreach & PR

    Microsoft Learn Student Ambassadors, Islamabad · Jan 2025 - Dec 2025

    • 10+ campus leads mobilized
    • 5 networking events, 250+ attendees
    • 12 blockchain experts secured for keynotes
Full record

Get in touch

Currently start-up owner at National Incubation Center Lahore. Open to conversations about engineering roles, research, and collaboration.