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