Jared Roesch is a software developer, student, and research working on bringing theoretical insights back to reality. He has worked on optimizing JIT compilers, typed program generation, distributed systems, web development and most recently dependently typed hardware construction.