← All speakers
Daniel "karmacoma" Reynaud
@0xkarmacoma ↗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.
