Joe PoznanskiSystems Atelier

Joe Poznanski · Principal Software Engineer

Principal engineer for simulation, controls, and operational software.

I build flight simulation, telemetry, controls, and operator-facing software across Rust, C++, distributed systems, and human-in-the-loop AI.

View selected work

A ten-second silent loop: the overview transitions into coordinated valve movement, active transfer flow, and changing tank telemetry before returning to a stable frame.

Deterministic Stage 1 capture at 1920 by 1080.

Selected proof

Flagship systems, backed by working software.

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.

01flagshipsimulation

Cryogenic Flow Simulation

Rust process simulation informed by Siemens and Rockwell PLC experience: 29,500 entities at 30 Hz with fixed-seed replay, extended in September 2026 into a bounded engineering program with a fault library, two commodities, a software controller, structured import, a browser projection proof and a localhost Unreal Engine camera.

Scale simulation proofMeasured scale, real-time recovery, and byte-identical deterministic replay for the 29,500-entity generated plant.

Read the case study

A ten-second silent loop: the overview transitions into coordinated valve movement, active transfer flow, and changing tank telemetry before returning to a stable frame.

02flagshipsimulation

Conformal Cooling Channel Generation

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 study

A silent ten-second loop moves from the deterministic gear input through channel and split-mold evidence to the completed application state.

03supportingsimulation

X-Plane Cabin Camera FOV Trade Study

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
Stacked four-camera X-Plane composites comparing the 50-degree and 110-degree camera configurations during the same documented bank phase.
The 50-degree configuration is above the 110-degree configuration at the documented 120-second bank moment.

04supportingtools

OpenXHC: Reverse-Engineering a CNC Motion Interface

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 study

Real 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.

05supportingtools

Mac mini Wall Shelf: Agentic CAD, FEM, and Manufacturing Preparation

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
FreeCAD isometric render of the wall shelf with a translucent Mac mini envelope showing side, rear, and ventilation clearance.
Authentic FreeCAD fit render. The translucent volume is a modeled Mac mini envelope, not a physical product photograph.

06supportingtools

Black-Scholes Options Pricer in Rust and WASM

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 study
  1. Problem boundaryA live browser pricer needs deterministic calculation, explicit handling of degenerate inputs, and a safe boundary for malformed data without a server round-trip.
  2. System boundaryRust is compiled with wasm-pack; a wasm_bindgen entry point deserializes input through serde-wasm-bindgen and the browser loads the module when the demo enters view.
  3. EvidenceA Rust crate compiled to WebAssembly provides browser-side European option prices and Greeks without a server round-trip.
  4. Known limitsEuropean options on a non-dividend-paying underlying; this is an educational tool, not financial advice.
Compiled binary
62 KB raw
Compressed binary
27 KB gzipped
Unit tests
6 Rust unit tests
Browser-side Black-Scholes calculation without a server round-trip.

Capability to proof

The claim and the evidence stay together.

Each capability points to a case study or résumé record that makes the boundary concrete.

  1. 01

    Simulation and controls

    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.

  2. 02

    Rust and C++ systems

    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.

  3. 03

    High-rate telemetry

    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.

  4. 04

    Verification and validation

    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.

  5. 05

    Distributed media

    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.

  6. 06

    Human-in-the-loop agents

    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

Judgment lives in the handoff.

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 work

Start a conversation

Working through a system where reliability matters?

Contact Joe