PDF Solutions
Systems Engineer
Matthew Cranny
I build software where hardware, data correctness, and operator workflows meet: firmware validation tools for SEM metrology systems, orbital planning software backed by JPL data, and storage-engine work that makes accuracy visible.
Asteroid transfer preview
Open viewerFPGA validation
UC Berkeley 2026
SCPI / GPIB / test frameworks
Projects
Asteroid Intercept Planner
JPL CAD/SBDB ingestion, normalized SQLite storage, Lambert transfer search, endpoint propagation checks, and a mission viewer export loaded here as static JSON.
github.com/mcranny/neo-updaterB-tree Storage Engine
Rust key-value engine with 4096-byte pages, a bounded pager cache, redo WAL, persistent free-list, range scans, deletion rebalancing, and SQLite differential tests.
github.com/mcranny/btree-storage-engine