I lead customer engineering at P-1 AI. Before that, I was a research engineer at Galois, working on formal methods and autonomy.
