About Me

I am a senior software engineer at Certik with an interest in smart contract security. Currently, I spend most of my time modeling runtime of different blockchains and studying applications of interactive proof systems.

I was an assistant professor in the Department of Mathematics at University of North Georgia. Beforehand, I was a graduate student at Florida State University under the supervision of Wolfgang Heil.