Geoff Hulette

[email protected]

AWS Automated Reasoning Group San Francisco, CA Automated reasoning for distributed systems. Deterministic does not mean predictable.