About Richard

Richard Townsend is an Assistant Teaching Professor in the Computer Science Department at Tufts University. He specializes in Programming Languages and Compilers. While earning his PhD at Columbia University, 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: an optimizing Haskell-to-SystemVerilog compiler.

richard@cs.tufts.edu

 

Room 230, Halligan Hall

161 College Ave

Medford, MA 02155

Contact

Education

Research Interests

Functional Languages

  • Modeling specialized hardware with Haskell

  • Exploring semantic connections between functional languages and hardware specifications

2013 - 2019

Columbia University

Ph.D. in Computer Science

Compilers

  • Program optimization via semantics-preserving transformations

  • Transformations to bridge the gap from pure functional languages to logical circuits

2013 - 2015

Columbia University

M.S. in Computer Science

2009 - 2013

Oberlin College

B.A. in Computer Science

tufts.png

The Computer Science Department at Tufts University

© 2019 by Richard Townsend. Proudly created with Wix.com

  • LinkedIn Clean Grey