I'm an FPGA Engineer at Jump Trading. Prior to entering industry, my research focused on the application of formal methods and programming language theory to hardware design.