Bolton Bailey

Engineering, Compiler

Bolton is a Senior Software Engineer at Category Labs. He obtained his PhD in 2024 studying formal verification of SNARKs. He has also worked as a Proof Engineer at Project Numina where he contributed to large scale formalization efforts like their LeanTriathlon benchmark and their formalization of the proof of the 3D Kakeya conjecture. He is current based in the SF Bay area. He is excited to join at Category Labs to pursue his life goal of uniting formal verification with the crypto ecosystem.