Nash Foster
Nash Foster has worked with the RChain Cooperative on blockchain infrastructure. The project uses a formal model of concurrent computation and the Rho Virtual Machine to support coordinated parallel execution and scalable smart contracts.