I'm currently a security engineer at Trail of Bits in NYC.
My primary interests are compilers, formal verification, and computer architecture.