Joe Poznanski · Principal Software Engineer
I build flight simulation, telemetry, controls, and operator-facing software across Rust, C++, distributed systems, and human-in-the-loop AI.
View selected workA ten-second silent loop: the overview transitions into coordinated valve movement, active transfer flow, and changing tank telemetry before returning to a stable frame.
Selected proof
The flagship case studies carry captured motion and geometry evidence. Focused technical studies extend that evidence-first approach to camera tradeoffs, machine-interface reverse engineering, Agentic AI physical-product development, and browser computation.
Rust process simulation informed by Siemens and Rockwell PLC experience: 29,500 entities at 30 Hz with fixed-seed replay.
Scale simulation proofMeasured scale, real-time recovery, and byte-identical deterministic replay for the 29,500-entity generated plant.
Read the case studyA ten-second silent loop: the overview transitions into coordinated valve movement, active transfer flow, and changing tank telemetry before returning to a stable frame.
ConformalFlow automatically designs cooling passages that follow an injection-mold cavity. The goal is to remove heat more evenly so molded parts can reach ejection temperature sooner, while keeping the geometry inspectable and compatible with complex internal passages enabled by metal additive manufacturing.
Fresh gear-cavity captureA real browser-driven UI/API job completed in 1.1 seconds with 20 channel segments and four hashed exports; the separate split-mold command produced two watertight mold halves and a PASS report with two retained volume warnings.
Read the case studyA silent ten-second loop moves from the deterministic gear input through channel and split-mold evidence to the completed application state.
A documented X-Plane replay compares four cabin camera views at the same flight moments, making the trade between a narrow 50-degree configuration and a wider 110-degree configuration visible frame by frame.
Two documented camera configurationsTwo 250-second, four-camera composites and two matched bank comparisons show the 50-degree baseline-pitch configuration and the 110-degree negative-pitch configuration at the same documented flight moments.
Read the case study
A C++20 offline codec turned a closed, Windows-only CNC motion interface into a testable native Linux foundation, reconstructing 2,490 captured HID reports byte for byte with zero mismatches and matching machine coordinates within 0.0005 mm.
Real-traffic codec validationAcross 14 owner-authorized move bursts, 2,490 real reports re-encoded byte-exact with 0 mismatches, and decoded machine coordinates agreed with the controller display within 0.0005 mm.
Read the case studyReal gantry and camera-difference evidence show observed motion becoming testable software: 2,490 reports re-encoded with zero mismatches. Offline codec only; no USB writes.
From Joe's requirements, Agentic AI produced the parametric CAD, four-case load analysis, convergence checks, support-free K1C toolpath, and visually inspected evidence package for a six-Mac-mini wall shelf.
Governing sustained-load analysisThe 48.8 N front-edge service case calculated 0.064 mm displacement and 1.42 MPa peak von Mises stress, a 3.5x margin against the selected 5 MPa PLA creep ceiling. The four-times front-edge case was transient analysis evidence, not a recommended service load.
Read the case study
A Rust crate compiled to WebAssembly powers a live, in-browser European options pricer with real-time Greeks and no server round-trip.
WASM browser pricerA Rust crate compiled to WebAssembly provides browser-side European option prices and Greeks without a server round-trip.
Read the case studyCapability to proof
Each capability points to a case study or résumé record that makes the boundary concrete.
01
Deterministic models, timed state transitions, and operator-facing system behavior.
EvidenceThe Cryogenic Flow case study runs 29,500 entities at 30 Hz, reproduces a byte-identical 1,800-frame raw replay in its fixed hardware and software scope, and makes coordinated valve waves visible across all 15,000 valves. A warmed-state transport measurement paired a 5.29 MB full JSON snapshot with a separately scoped 6.8 KB representative incremental delta.
02
Typed systems software across browser, simulation, service, and hardware boundaries.
EvidenceOpenXHC's C++20 offline codec re-encoded 2,490 real CNC interface reports with 0 mismatches and matched machine coordinates within 0.0005 mm, while preserving a hard no-USB-write boundary.
03
High-volume signal delivery with bounded timing behavior for control and operational use.
EvidenceA Rust-based Simulated Avionics Layer delivered 500k+ telemetry signals at greater than 10 Hz while maintaining control-loop jitter below 1 ms at 100 Hz.
04
Test evidence that shortens feedback cycles without weakening the operational boundary.
EvidencePython, pytest, and GitLab CI ran 800+ unit, functional, and HIL tests nightly and reduced regression cycles from three days to two hours.
05
Synchronized playback and operator control across networked, performance-sensitive nodes.
EvidenceAn 8K video wall synchronized playback across a four-node cluster at approximately 50 GB/s aggregate with sub-frame latency.
06
Tool-using workflows designed for reviewable changes, explicit guardrails, and human judgment.
EvidenceThe résumé describes agent workflows for triage, planning, implementation, QA evidence, and review rather than one-off prompt output.
About
I work from problem framing through implementation, verification, and operator handoff. I value clear system boundaries, evidence that can be repeated, and documentation that preserves the reasoning behind a decision.
More about how I workStart a conversation
