Ara Adkins

CTO & CFO @tactile-metrology, Principal Engineer @reilabs Amsterdam, NL Compilers, type-theory, runtimes, formal verification, cryptography. Mixing, mastering and music. Skiing, parkour, martial arts.