◌ in progress Holographic Camera Display
5-BAR MECHANISM ◎ dormant 5-Bar Linkage / Quadruped
PULL-OUT WHITEBOARD ◎ dormant
◎ dormant Rubber Duck Flinger
ESE 2000
x ∈ ℝⁿ z = W·x + b linear transform W b h = σ(z) ŷ ∈ ℝᵐ feedforward layer
ŷ = σ(Wx + b)
L = −Σ y log ŷ
∂L/∂W = ...

→ backprop
BLOOM BOARD 3×3 · servo-actuated · 3D printed ◌ in progress Bloom Board
CALLIOPE ── intake ── 6418 CRESCENDO · 122 LBS · 2'3" ◉ completed · 2024 Calliope · FRC Team 6418
DYNAMENE ramp / funnel algae algae 6418 REEFSCAPE · 114 LBS · 3'5" virtual 4-bar · L1–L4 coral ◉ completed · 2025 Dynamene · FRC Team 6418
Current Obsessions
Program Verification turning programs into first-order logic; generator construction
encoding programs as FOL formulas, then searching for counter-examples via generators
Timed Automata Professor Alur's time extensions; connection to timing side-channels
dense-time models where clocks reset on transitions; real-time reachability is decidable
Formal AI Verification how to verify learned policies formally
using spec languages + SMT solvers to certify neural network behavior within bounds
Topology as higher-level math; the language underneath
open sets as the right abstraction; continuity as a structural property, not a metric one