PhD at UIUC with Andrew Miller. Used to work on legacy L2 research, recently working on software approach to writing/designing cryptographic protocols (some PL, some UC framework, all text).

Worked with Arbitrum in the past, some dabbling in Flashbots.