KARAR HAIDER

Design Engineer & Product Owner building high-impact digital products from prototype to scale.

Based in: Lahore, PakistanCurrently: Product Owner & Lead Developer, PadelistanExperience: 4 years

Hire me

A Computer Science student at LUMS who has successfully launched four client products and currently manages an exam-prep platform used by over 200 students. He specializes in winning contracts through functional coded prototypes and has a proven track record of automating complex workflows for diverse users.

Experience

Product Owner & Lead Developer

PadelistancontractJul 2026 – Present

Summary

6-month fixed-price build contract won by showing the client a working coded prototype of their national padel platform before they committed any funding.

What I did

  • 4 user roles in one app. Players, clubs, organisers and admins each get a view scoped to their own work.
  • 259 players moved from spreadsheet rankings through an import flow I designed with an automated diff. No player's points changed.
  • Built with Claude Code and Codex, then audited the AI-written release myself. Every finding was fixed before real users got access.
  • Wrote an automated diff report covering every era of the event history.
  • Developed a real-time court management system where the server acts as the sole source of truth for all actions.
  • Managed complex state and data synchronization using TanStack Query and Supabase Realtime channels.
  • Designed the 'Heritage Club' visual identity using cream backgrounds, deep green identity moments, and clay and gold accents for player achievements.

Results

  • Built an importer package that rebuilds boards from event history and performs field-by-field comparisons against client exports.
  • Developed a self-checking SQL generation process that rolls back Postgres transactions if rating and point totals do not match exactly.
  • Built a court desk interface for club staff to manage bookings, payments, and check-ins across multiple courts and hours.
  • Optimized public page performance by fixing a React mounting issue that was causing a 2-second delay in Lighthouse scores.
  • Implemented a 600ms debounce for data refetches to handle bursts of real-time occupancy changes efficiently.
  • Won contract via coded prototype before funding commitment.
  • Successfully migrated 259 players with zero data/points loss using an automated diff flow.
  • Implemented 4 distinct user-role views (Players, clubs, organisers, admins).
Claude CodeCodexPrototypingVercelTypeScriptReactSupabaseVitestPlaywrightPostgreSQLTanStack QueryServer-side rendering (SSR)OKLCH color tokensSemantic color rolesMobile-first design

Undergraduate Researcher

Zeppelin, LUMSwork2026 – Present

Summary

Built a verification harness for AI-assisted cryptographic code. It caught a hidden timing leak, and the paper is in revision at IACR TCHES.

What I did

  • Built a verification harness using a bit-exact Python mirror of the C pipeline to compare against an Arm FVP simulator.
  • Performed cross-checks using Microsoft SEAL to decrypt device ciphertexts.

Results

  • Identified a timing leak in the Montgomery reduction where a conditional branch on secret data existed in 8 copies of the RNS helper.
  • Replaced a conditional branch with a branch-free mask to ensure straight-line assembly while maintaining identical known-answer hashes.
  • Identified a hidden timing leak in cryptographic code using a custom verification harness.
  • Co-authored a paper currently in revision at IACR TCHES.
Cryptographic codeAI-assisted codingVerification harnessCArm Helium (MVE) assemblyPythonMicrosoft SEALArm FVP simulatorCortex-M55 (STM32N6)

Product Owner & Sole Designer

CoachingWithShujafounder2025 – Present

Summary

200+ students practise on an exam-prep platform I own from roadmap to release. It replaced a tutor's folder of past-paper PDFs and costs $0 a month to run.

What I did

  • 17,000+ past-paper questions for O Level, A Level and Digital SAT, with timed modules and a built-in Desmos calculator.
  • Sat with students while they practised and saw them repeat the same mistakes. Each wrong answer now goes into an error log and comes back as targeted practice.
  • Developed two Cloudflare Workers and two Supabase Edge Functions in TypeScript for the backend.
  • Implemented a host-only cookie system for image authorization to bypass header limitations in standard image tags.

Results

  • Secured paid content by moving question banks and answer keys behind a TypeScript Cloudflare Worker that validates Supabase session tokens.
  • Scaled platform to 200+ active student users.
  • Achieved $0/month operating cost for a platform hosting 17,000+ questions.
  • Implemented a feedback-driven error log for targeted student practice based on user observation.
Desmos calculatorUser ObservationReactViteSupabasePostgreSQLDesmos APIGitHub PagesTypeScriptCloudflare Workers

Skills

Technical

Prototyping in code
HTMLHTML
CSSCSS
JavaScriptJavaScript
Responsive web design
Brand identity
PythonPython
Claude Code
Codex
TypeScriptTypeScript
VitestVitest
Playwright
TanStack Query
Supabase RealtimeSupabase Realtime
Zod
Cloudflare WorkersCloudflare Workers
Browser-based design
FigmaFigma
ReactReact
SupabaseSupabase
ViteVite
GitHub PagesGitHub Pages
VercelVercel
Desmos API
CC
Arm Helium (MVE) assembly
Microsoft SEAL

Areas of expertise

User observation

Projects

Padelistan National Platform

Lead Developerprofessional
A national padel platform featuring 4 user roles (Players, clubs, organisers, admins). Includes a complex data migration flow for 259 players from spreadsheets with automated diffing to ensure point accuracy. Built using AI-assisted coding tools and manually audited for security.
Claude CodeCodexPrototypingHTMLCSSJavaScriptVercelReactTypeScriptSupabaseVitestPlaywrightTanStack Query

CoachingWithShuja Exam-Prep Platform

Owner & Designerpersonal
An end-to-end exam preparation platform hosting 17,000+ questions for O/A Levels and SAT. Features timed modules, a built-in Desmos calculator, and an intelligent error-log system that generates targeted practice based on student mistakes. Operates at zero monthly cost.
Desmos calculatorError logging systemReactViteSupabasePostgreSQLDesmos APIGitHub Pages

Hero Notes Storefront

Product Leadprofessional
Custom e-commerce solution for a bulk notebook manufacturer. Replaced traditional carts with a one-tap WhatsApp quote system to better serve bulk buyers.
WhatsApp IntegrationAstroTypeScriptZod
Visit the site

Education

BS Computer Science

LUMS (Lahore University of Management Sciences)Computer ScienceGPA 3.5May 2027

Recognition

Awards

Dean's Honour List

LUMS

Top in Pakistan, Physics

Cambridge O Level

Awarded for highest score in the country for Physics.

Patents & publications

Verification harness for AI-assisted cryptographic code

publication

Paper currently in revision at IACR TCHES regarding timing leaks in AI-generated crypto code.

Social impact & activities

Founder

Tech-Literacy Sessionsvolunteer2025 – 2026

Taught 21 elderly neighbours to use maps and mobile payments, three sessions a week.

Hire KARARReach out about a role, a contract or a conversation.For recruiters

KARAR's twin is AI, it can make mistakes.

More people on Kanvis

Browse more peopleCreate your own Kanvis