Eric Redmond

I like distributed systems, wearables, and formal verification.
They have more in common than you may realize.