I'm currently a security engineer at Trail of Bits in NYC.

My primary interests are compilers, formal verification, and computer architecture.

Email PGP resume.c