Hurudaya "Jeff" Narasimhan

jeffdoesmath.com | [email protected] | github | +91 7305962148
Education
KREA University Aug 2024 – Present
BSc (Hons.) Mathematics and Computer Science Tada, India
Chennai Mathematical Institute Aug 2022 – Jul 2024
BSc (Hons.) Mathematics and Computer Science Chennai, India
Work Experience
Formal Verification Consultant May 2026 – Present
Lending Labs / Kuliza Remote
Proving invariant properties of loan origination software in Lean. Reduced test surface by identifying redundant business rule cases through formal specification.
Faculty of Mathematics Sep 2024 – Present
Math Circle Chennai Chennai, India
Designed curricula teaching cryptography, modular arithmetic, and Markov chains to 100+ middle school students through hands-on activities.
Mathematics Tutor Oct 2023 – Present
Independent Online
Coached gifted students to competitive success: students qualified to IMO, INMO/IMOTC, and EGMO.
Signal Encoding & Antenna Design Mar 2023 – Aug 2024
VDesign Technologies Puducherry, India
Implemented Viterbi decoding with 40% signal noise reduction. Designed beam-steering Ku-band patch antenna for lightweight UAVs.
Research
Computational Ramsey Theoryactive
Computing 2-color Rado numbers using SAT solvers (Kissat, march_cu) and symbolic regression (PySR). Discovered and tested conjecture: R2(ax + by = az) = a2.
Topological Anti-Cheat for FPS Gamesactive
Novel method to identify likely cheaters by modeling crosshair trajectories on 2-spheres, fitting von Mises-Fisher distributions, and clustering anomalies with HDBSCAN.
Formal Verification in Lean and Isabelle
Automated proofs of Olympiad-style number theory problems using dependent type theory. Formalizing the Erdős-Szekeres conjecture under faculty supervision.
Portfolio — jeffdoesmath.com
QED Proof Builder
3,200-line interactive proof assistant. Block-based natural deduction with 18 levels, 10 inference rules, scope management, and Lean 4 code generation.
Interactive Math Games10 games
Deployed games built on real algorithms: graph coloring vs a SAT solver, iterated prisoner's dilemma, envy-free cake cutting, optimal stopping, Brouwer's fixed-point theorem, tactical FPS economy DP solver.
25 Years of European Football
Data visualization: 44,576 matches, 8 interactive charts exploring how the game has changed across 25 seasons.
Math Benchmark Suite
6-part cognitive assessment: estimation, intuition, sequence completion, function identification, mental arithmetic, pattern recognition.
Internships
Data Analytics Intern 2024
Riverbridge Investment Advisors Chennai, India
Automated data analytics pipelines. Analyzed financial data and business valuations for a private equity firm.
Teaching Assistant 2023
Epsilon India Summer Camp Chennai, India
TA at a mathematics camp for gifted students. Introduced non-Euclidean geometry, finite automata, and Diophantine equations. Delivered lecture on proof writing.
Technical Skills
Languages Python, JavaScript, Haskell, R, SQL ML / Data PyTorch, TensorFlow, scikit-learn, pandas, NumPy, matplotlib Formal Methods Lean 4, Isabelle Computation SAT solvers (Kissat, march_cu), PySR, reinforcement learning Web HTML/CSS/JS, Canvas API, Node.js, static site architecture, Cloudflare Tools Git, Linux, SSH, YOLO (Ultralytics)
Awards