Daniel "karmacoma" Reynaud
1 talk
karma is a research engineering partner at a16z crypto, where he supports portfolio companies with protocol engineering. He is one of the authors of halmos, a smart contract symbolic execution testing tool.
New Ethereum talks, every Monday. The week's conference uploads by event, in your inbox.
