About Me

I am a research engineer at Category Labs. I work on blockchain design and software verification. My work spans from research to production deployment.

Previously, I worked at CertiK on software verification. Before that I was an assistant professor of mathematics at the University of North Georgia. I studied topology under Wolfgang Heil at Florida State University.