Asher Manning

Developer, Zen Protocol
Asher Manning

Asher studied Maths, Physics & CS at McGill University and worked on research in Homotopy Type Theory. He’s previously worked at Skybox Security and HSBC.
Asher is one of the developers behind the F* language, and is using it along with modern research in dependently typed programming to give Zen advanced security capabilities, as well as resource bounds.