Matthew Ryan

Matthew Ryan is a programmer and mathematician, interested in programming languages, type systems and formal verification. He is currently working on Snarky and the Meja programming language, as well as contributing to the Coda and OCaml projects. He holds a BSc from the University of Warwick, where he studied cryptography.