My name is Bolton Bailey.
I prove things and write code. My main interest is in formal verification for cryptography. My other interests include: Quantum Cryptography, wrapping things in Recursive SNARKs, and Cryptoeconomics.
See also: My Google Scholar profile.
During Fall of 2019, I took Prof. David Forsyth's course on autonomous vehicles. Part of my project for the class was a lidar-based particle filter for tracking the location of a Gem e2 autonomous car. I made a GIF of it which you can see below.
In 2019, I received a NSF Graduate Research Fellowship.