RandomWalks

Curriculum vitae

Ari Biswas

PDF CV

Education

  1. University of Warwick

    Doctoral Candidate, Computer Science

    Thesis: Secure And Verifiable Computation In The Modern World

    In preparation

    06/2022 — present

  2. University of Wisconsin–Madison

    MSc Computer Science

    Funded by Amazon and a research grant from Marshfield Clinic

    09/2015 — 12/2017

    BSc Computer Engineering and Mathematics

    09/2011 — 05/2015

Employment

  1. Director at On A Tangent Ltd

    Mathematics and software consulting services.

    Oxford, UK

    05/2025 — present

    Layer Zero Labs

    • Formal verification of the Jolt zkVM

    Reference: Thomas Kim

    Vancouver, Canada

    02/2026 — present

    A16z Crypto

    • Optimising and benchmarking Jolt zkVM performance
    • See Open Source Contributions in the PDF CV for details

    Reference: Justin Thaler

    New York, USA

    05/2025 — 12/2025

  2. Visiting Researcher at Boston University

    Statistical zero-knowledge proofs for distribution testing.

    Reference: Ran Canetti

    Boston, MA, USA

    03/2025 — 04/2025

  3. Visiting Researcher at Simons Institute

    Sublinear Algorithms programme: interactive proofs for distribution testing.

    Reference: Clément Canonne

    Berkeley, CA, USA

    05/2024 — 08/2024

  4. Applied Scientist at Amazon

    References: Daniel Marcu, Benjamin Snyder

    05/2017 — 11/2022

    Alexa

    • Lead scientist for offline evaluation of dialogue systems and personalised news recommendations in Alexa

    Cambridge, UK

    03/2020 — 11/2022

    Interactive Search

    • Lead scientist for a real-time interactive search platform, deployed in January 2018
    • The algorithm appeared at KDD 2019

    Seattle, WA, USA

    05/2017 — 03/2020