Yaron Velner holds a PhD in computer science from Tel Aviv University. His research is focused on game theory incentives in blockchain protocols and formal verification of smart contracts. He has found several bugs in the Ethereum bug bounty program. Yaron is also an experienced software developer with over 10 years as a senior software engineer and a technical leader at EZchip semi-conductors. He was a member in the data structure and algorithm team, which developed novel data structures for IP routing.