projects

Selected projects — building things that are correct, verifiable, and grounded in real constraints.