About

I am a postdoctoral researcher at ETH Zurich, advised by Ryan Cotterell. My research lies at the intersection of natural language processing and machine learning. I use formal methods—including formal logic, formal language theory, and circuit complexity—to analyze and interpret modern deep learning models, and to guide the development of new architectures and algorithms inspired by these formal perspectives.

Selected Publications

Education