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 try something different, 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 . I actively contribute to the Jolt zk-VM developed by Justin Thaler and his team at A16z Crypto. I am also involved with Formally Verifying software at Layer Zero Research. See notes and publications for further details.

If anything on this site interests you, feel free to email me at ari@randomwalks.xyz.