Aaron Friel
588
reputation
3
11
Devoted to systems engineering from the bottom up. Building systems that are resilient and (if possible) proven correct using modern development tools, type theory, test frameworks, and a well understood hardware and software stack.