Explore my portfolio ↗ · Email · Try NavoX ↗
I'm Michael, a Cornell Engineering student working on C++ systems, machine learning, and algorithms.
| Project | In brief |
|---|---|
| Ledger | C++23 limit order book and matching engine: price-time priority, allocation-free order processing, differential tests, and latency studies. |
| Gatehaven | C++23/SDL3 circuit sandbox with compiled circuit graphs, binary save files, and downloadable previews for macOS, Linux, and Windows. |
| NavoX | Personal AI assistant with voice, connected accounts, a Chrome side panel, and OpenAI, Claude, and Gemini adapters. |
| Fluxion | Deep-learning engine from scratch: tensors, autograd, transformers, and native C++/BLAS operators. |
| ModelForge | Model registry and inference platform with versioned artifacts, progressive releases, and rollback. |
| ToolRet | Retrieval research on when to rerank, evaluated over 37,292 tools. |
| MarketLab | Portfolio planning and reproducible backtests with exact accounting and independent verification. |
| Pro Competitive Programming | 835 C++17 reference implementations with algorithm notes, local test fixtures, and reusable data structures. |
| LeetCode Atlas | Python and C++ algorithm implementations organized by problem-solving pattern. |
For a closer look at the engineering: Ledger’s design and trade-offs, Gatehaven’s build guide, and the algorithms collection.
Working with


