Paul Steckler

Country:

BIO

Paul is a functional programmer and researcher. In the academic realm, he's followed his interest in PLs, type systems, and formal verification through collaborations with INRIA, the MIT PLV Group, and NICTA. He also worked on the initial implementation of Alacris, a cryptocurrency solution layered on top of existing blockchains. He holds a PhD in computer science from Northeastern University.

ICO'S

Coda Protocol

Coda Protocol

Team
PROTOCOL ENGINEER

NO STARTED