Robotics.

Yoav Fekete's robotics stance starts with the question being asked. A robot is many maps at once: joint states, coordinate frames, geometry, collision volumes, trajectories, constraints, control signals, timing assumptions, and validation artifacts. Each map answers a different physical question.

The work is to choose the right representation for the task: frames for position and orientation, geometry for shape, collision volumes for contact risk, configuration spaces for reachability, constraints for allowed motion, trajectories for timing, and control signals for actuation. Geometric reasoning is the nearby mathematical substrate that makes many of these questions checkable.

For complex robotics software, Clause becomes relevant as artifact discipline: a way to keep requirements, design notes, manifests, code, tests, and validation records connected while the system changes. Robotics makes that need concrete, because software decisions eventually meet physical motion.

NaadLabs and the Harmonic Sitar give this robotics work a musical body: robotics applied to instrument R&D, performer-centered augmentation, resonance, and playable physical systems.