Asher Manning
Asher Manning worked on formal methods for Zen Protocol, a blockchain designed for financial assets and smart contracts. Manning contributed to F*, a programming language for writing and verifying software, and applied dependently typed programming to improve Zen's security and bound the resources its contracts use. Earlier work included research in homotopy type theory and positions at Skybox Security and HSBC.