CTO @tactile-metrology, Principal Engineer @reilabs Denver, CO, USA Compilers, type-theory, runtimes, formal verification, cryptography. Mixing, mastering and music. Skiing, parkour, martial arts.
Ara Adkins