Jonathan Cubides
Jonathan Cubides has worked on Juvix, a functional programming language for decentralized applications. The language combines a strong type system with compilation to lower-level languages and support for zero-knowledge circuit tools.