Richard Townsend received his Ph.D. at Columbia University studying programming languages and compilers under Stephen A. Edwards and Martha A. Kim. His research focused on the use of functional languages and high-level optimizations to translate recursive algorithms with irregular memory access patterns into efficient hardware designs. This work revolved around his research group's project during his time at Columbia: an optimizing Haskell-to-SystemVerilog compiler. In 2019, he made the trans...
