My research interest is designing type systems and compilers for
domain-specific languages and exploring ways to test these languages
more effectively. The specific domain I’m interested in right now is the
intersection between deep learning and hardware synthesis.
