I am a research scientist at the Secure, Reliable, and Intelligent Systems Lab at ETH Zurich and a Chief Scientist at ChainSecurity. My work centers around security and privacy (blockchains, networks, and system security) and combines techniques from the areas of programming languages, machine learning, and probabilistic programming. As part of my research, I have co-developed several popular system, including Securify, ChainCode Scanner, DeGuard, DEBIN, AI2, SPIRE, SyNET, NetComplete, and others. I am also a co-founder of ChainSecurity, which brings security to blockchain systems using automated reasoning.
I obtained my PhD and Master’s degree from ETH Zurich in 2016 and 2012, respectively, and my Bachelor’s degree from Georgia Tech in 2010.