Recent Writings

Clear Thinking is both powerful and difficult.
I write to raise the bar for software
— for mind and machine.

06 Carbon Atom RSS

Essays

Mindsets and Personal Philosophy: software for the carbon computer in your skull. Written for a wide audience.
14 Silicon Atom RSS

Research

Formal Verification: silicon software we can prove correct. Written for engineers working on high stakes projects.