← Back to home

Experience

Research Internships

  1. Oct 2023 – Sept 2024

    Formal Verification of Blockchain Protocols

    University of Sydney, Australia

    Worked with Sasha Rubin, Nathalie Bertrand, Bernhard Scholz, and Pavle Subotić. Funded by Sonic Labs.

  2. May 2023 – Jul 2023

    Timed Systems

    Inria Rennes, France

    Worked with Nathalie Bertrand and Ocan Sankur. Funded by ReLaX Labs.

  3. May 2022 – Sep 2022

    Reactive Synthesis

    TIFR Mumbai, India & University of Haifa, Israel

    Worked with Shibashis Guha and Guy Avni.