Ryan Newton profile image
I research & develop techniques for high-performance, parallel deterministic computing. Determinism eases debugging, testing, and formal verification.