Skip to content
View DhyeyMavani2003's full-sized avatar
🎯
Focusing
🎯
Focusing
22 followers · 50 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx2

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@LogFlow-AI

Block or report DhyeyMavani2003

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
DhyeyMavani2003/README.md

Hello World 👋, I'm Dhyey Mavani

Profile views

🌐 Website: dhyeymavani.com
📫 Email: [email protected]
💼 LinkedIn: linkedin.com/in/dhyey-mavani

🚀 About Me

  • Software Engineer, Generative AI @ LinkedIn
    Working on cutting-edge Large Language Model (LLM) & agentic-AI applications powering LinkedIn’s core B2B2C use-cases.
  • First-Authored chipfiring PyPI Downloads – first dedicated Python package for chip-firing games on multigraphs.
  • First-Authored quantileflow PyPI Downloads – state-of-the-art quantile calculator for service logs. (44% more efficient than Datadog)
  • Selected & sponsored for Y Combinator’s AI Startup School – learned directly from Sam Altman, Elon Musk, Satya Nadella, Andrej Karpathy, Fei-Fei Li, and others.
  • Triple Major @ Amherst College in Computer Science, Mathematics, and Statistics (2× Summa Cum Laude, Phi Beta Kappa, Sigma Xi).
  • Honors Theses
    • 🧮 Mathematics: Lean4-based Machine-Assisted Proof Framework for Chip-Firing Games & Graphical Riemann–Roch
    • 📊 Statistics: ccrvam PyPI Downloads – Open-source Python package for model-free exploratory analysis of multivariate discrete data. (Robert H. Breusch Prize for Best Honors Thesis in Statistics.)
  • Former President of Amherst Quant Club (@ACQuantClub) & Founding Director of Engineering @ i2i (@ac-i2i-engineering student-led venture studio).
  • Previously Engineering @ AWS, Quantitative Trading @ Valkyrie Trading

🌱 Beyond Code

Outside work, I’m often:
🏸 Playing badminton (Yonex Northeastern Collegiate – 6th in singles, wins vs Harvard/Binghamton)
🏹 Practicing archery 🏏 All-rounder cricketing enthusiast 🌊 Adventuring — jetskiing, ATV riding, bungee jumping, zip-lining

🔗 Connect with me:

LinkedIn Website

Previous affiliations: @aws @minerva-ed @logflow-ai @AmherstCollege @acdmammoths @r-blocks @ac-i2i-engineering @ACQuantClub

Pinned Loading

  1. ccrvam ccrvam Public

    Python implementation of Checkerboard Copula Regression - Visualization and Association Measure

    Python 2

  2. chipfiring chipfiring Public

    Unified interface for visualization and analysis of chip firing games and related algorithms.

    Python 5

  3. chip-firing-with-lean chip-firing-with-lean Public

    A formalization of chip-firing games and the Riemann-Roch theorem for graphs using the Lean 4 theorem prover.

    Lean 5

  4. ramper-labs/InnerBoard-local ramper-labs/InnerBoard-local Public

    Your private onboard companion that stays on your device.

    Python 2

  5. ac-i2i-engineering/amherst-coursework ac-i2i-engineering/amherst-coursework Public

    Reinventing Amherst's open curriculum exploration with unified search & intuitive shopping!

    Python

  6. r-blocks r-blocks Public

    This is the intermediate codebase of RBlocks project. The most recently deployed code is in a private repository owned by Amherst College, but the website is deployed for open use at https://sliao.…

    JavaScript 1 1