iamrecursion

Compilers, type-theory, runtimes, formal verification, cryptography. Mixing, mastering and music. Skiing, parkour, martial arts.

Company:CTO & CFO @tactile-metrology, Principal Engineer @reilabsLocation:Denver, CO, USA

Pinned Repositories

iamrecursion's Repositories