Syed Jafri
Hardware & Software Engineer
Building at the boundary of silicon & software
Software & hardware work across industries, shipped and in-progress.
EnterpriseSoftware
CLI tool and dashboard for managing multi-environment deployments with automated rollback, health checks, and Slack integration.
EnterpriseSoftware
Lightweight WASM-compiled neural network runtime that runs quantized models in-browser with zero server dependency.
EnterpriseSoftware
Opinionated Go framework for building observable microservices with tracing, circuit-breaking, and gRPC/REST dual-mode routing.
EnterpriseSoftware
Real-time infra dashboard with sub-second latency, WebSocket streaming, time-series aggregation, and anomaly alerts.
SalesSoftware
Weighted forecast modeling built on historical win rates and stage velocity, with scenario what-ifs and rep-level roll-ups.
SalesSoftware
Event-driven enrichment service handling identity resolution, fuzzy dedupe, and bidirectional CRM sync with conflict reconciliation.
SalesSoftware
Multichannel sequencing engine with deliverability guardrails, reply detection, and automatic pause when a meeting is booked.
SalesSoftware
Transcribes discovery calls, scores them against a qualification framework, and writes structured notes and next steps back to the CRM.
SalesSoftware
CPQ flow with tiered pricing rules, discount approval chains, and templated proposal generation handed off to e-signature.
CreativeSoftware
Parametric design tool that produces seeded, reproducible layouts from a grammar of grids, palettes, and type scales. Exports print-ready SVG and PDF.
CreativeSoftware
WebGL visualizer driven by live FFT analysis, with preset morphing, MIDI controller bindings, and hot-reloading GLSL editing.
CreativeSoftware
Keyframe editor with editable bezier easing curves, onion-skinning, and export to Lottie JSON or raw CSS keyframe animations.
CreativeSoftware
Node-graph texture generator with GPU-accelerated live preview and one-click PBR map export for albedo, normal, roughness, and AO.
CreativeSoftware
Specimen tool for auditing variable axes, kerning pairs, and OpenType feature coverage across arbitrary sample text and weights.
CreativeHardware
Real-time HDMI video pipeline on Spartan-7 implementing edge detection and LUT-based color grading at 1080p60.
GameSoftware
Turn-based roguelike with wave-function-collapse level generation, fully deterministic seeds, and a data-driven ability system.
GameSoftware
Custom entity-component-system engine with a job-based scheduler, hot-reloadable gameplay modules, and a Vulkan forward+ renderer.
GameSoftware
Deterministic lockstep networking with rollback, client-side prediction, and lag compensation for 2–8 player matches.
GameSoftware
2D platformer built on a custom verlet soft-body solver, with full gamepad support, Steam achievements, and 40 hand-authored levels.
GameSoftware
Visual editor for authoring behavior trees and utility AI, with live in-engine debugging, blackboard inspection, and an Unreal runtime.
IndustrialHardware
4-layer PCB with USB-C PD negotiation, CAN bus interface, and isolated analog front-end for industrial sensor logging.
IndustrialHardware
Battery-powered sensor node with LoRaWAN uplink, e-ink display, and MQTT bridge. 6-month battery life on AAA cells.
Papers, articles, and talks on embedded systems & silicon–software co-design.
Paper
A runtime scheduler that dynamically migrates workloads between big and little cores, reducing peak power by 34% while meeting hard real-time deadlines on heterogeneous SoCs.
Paper
Evaluates WASM as a sandboxed execution environment for untrusted firmware modules on Cortex-M, achieving memory isolation with under 8% overhead and no MMU requirement.
Paper
A quantized autoencoder deployed on STM32H7 detects anomalous CAN frames at 1 Mbps with 97.3% detection rate. Model fits in 14 KB flash and 6 KB RAM.
Article
A practical deep-dive into controlled-impedance routing, differential pair tuning, and via stub mitigation for PCB designs operating above 1 GHz.
Talk
A conference talk covering the full journey of adopting Rust for bare-metal firmware — toolchain, async embassy runtime, peripheral drivers, and C HAL interop. Live demo on a custom STM32 board.
Article
Demonstrates how an incorrect RTOS tick rate causes hidden scheduling latency spikes and unnecessary wakeup energy. Presents a decision framework that reduces tick-induced idle energy by 42–91%.
Paper
A network slicing framework for LoRaWAN that allocates spreading factors and channels to heterogeneous device classes, improving capacity by 2.4× under industrial interference. Validated on a 120-node testbed.
Paper
Replaces worst-case execution time with a full probability measure over execution demand, then derives a closed-form deadline-miss bound via Chernoff concentration on the cumulative demand process. Tightens classical utilization tests by 11–19% without sacrificing soundness.
Paper
Models quantization error intervals as an abstract domain linked to concrete real-valued semantics by a Galois connection, giving sound static bounds on accumulated rounding error through cascaded biquad filters. Bounds are proven optimal for monotone pipelines.
Paper
Formulates task-to-tile placement as a normalized cut on the communication graph and solves the Fiedler-vector relaxation instead of the NP-hard integer program. Achieves a provable approximation ratio on planar meshes and cuts average hop count by 27%.
Paper
Casts nested interrupt arrival and service as a linear system over the max-plus semiring, so end-to-end latency becomes an eigenvalue problem. The cycle-time eigenvalue yields tight worst-case bounds validated against cycle-accurate Cortex-M7 traces with under 3% pessimism.
Paper
Derives achievable rate regions for LoRa-style CSS modulation with non-orthogonal spreading factors, treating collisions as a multiple-access channel with partial interference cancellation. The capacity envelope explains the empirical throughput ceiling in dense LPWAN deployments.
Paper
Bounds the spectral norm of each layer to certify that post-training int8 quantization shifts reconstruction error by no more than a computable constant, giving a false-negative guarantee for on-device detectors over the training distribution's convex hull.
Article
Argues that taking a maximum over observed runs estimates the wrong quantity, and shows what extreme value theory actually promises — along with what it quietly assumes about independence and tail regularity in real firmware.
Talk
A working introduction to the algebra behind static analysis tooling — partial orders, ascending chain conditions, and Kleene iteration — built from a live dataflow analysis of a bare-metal driver rather than textbook examples.
Licenses, credentials, and recognitions.
Apple
University of Washington × IBM · Hackathon
SAP & Coursera
Udemy
Udemy
freeCodeCamp
Massachusetts Institute of Technology
Stanford University School of Engineering
I'm an engineer who doesn't believe in the hardware/software divide. The most interesting problems live at the boundary — where firmware talks to silicon, where network packets become physical actions, where sensors transform the world into data.
My background spans embedded systems design, PCB layout, and low-level firmware, all the way through backend services and modern web frontends. I've shipped products that run for years on coin cells and built systems handling millions of API requests per day.
When I'm not building, I'm reading IEEE papers, contributing to open-source tooling, or tinkering with something that has no good reason to exist — yet.
Languages
Hardware
Infrastructure
Protocols
Have a project idea or want to work together? I'd love to hear from you.