I received my undergraduate degree in Computer Engineering and Applied Mathematics and Graduate Degree in Computer Science from the University of Wisconsin-Madison. From 2017-2023, I was employed by Amazon under the supervision of Ben Snyder and Daniel Marcu, as a scientist working on Amazon and Alexa search. Around July 2022, I decided to switch focus from the AI business, and pursue a doctoral degree in theoretical computer science under the supervision of Graham Cormode at the University of Warwick.

My research interest, broadly, is complexity theory. In particular, I am interested in the computational and communication complexity of verifiable computation, mostly in theory; but sometimes also in practice - as such, I actively contribute to the Jolt zk-VM developed by Justin Thaler and his team at A16z Crypto. I am also keen on low level systems programming.

Contact: ab@randomwalks.xyz