01 / Selected work
Five AI agents read zoning, building, environmental, and utility rules in parallel — then emit a cited compliance report and permit package.
Product, systems, and algorithms
Industry, research, and teaching
Koncordant Lab, Kansas State University
Formally verified reasoner in Coq with Dr. Hande McGinty and Dr. Atalay Mert Ileri — machine-checked proofs of mathematical and algorithmic correctness.
Kansas State University
Taught Python and data structures to 50+ students: coaching, written feedback, and targeted help on weak spots.
ShipD · Remote
Designed 100+ LeetCode-style problems in TypeScript and Python for LLM training, with optimal solutions, edge-case tests, and complexity analysis.
Qualitex Trading · Remote
Backend on a business-critical platform: PHP/Laravel, Node.js, SQL, and REST APIs across 5+ interconnected applications.
VentureDive · Remote
JUnit functional and integration tests that shortened QA cycles in an Agile team.
Competitive programming
Manhattan, KS
I’m Muhammad Shoaib Gondal, a software engineer and MS Computer Science student at Kansas State University (GPA 4.0). I like systems that have to be correct: APIs, algorithms, and now machine-checked proofs.
Coursework includes analysis of algorithms, DBMS, formal language theory, and programming languages.
Stack