PhD dissertation titled 'On Proofs and Translation', UC Berkeley, 2025
Published multiple papers at top-tier venues including NeurIPS, ICML, AAAI, PODC, FOCS, and EMNLP
Several papers received Oral or Spotlight presentations (e.g., NeurIPS 2025, ICML 2024, AAAI 2025)
Notable works: 'Models That Prove Their Own Correctness' (NeurIPS 2025), 'Towards a Translative Model of Sperm Whale Vocalization' (NeurIPS 2025), 'A Theory of Unsupervised Translation for Understanding Animal Communication' (NeurIPS 2023)
Many publications accompanied by open-source code, talks, and posters
Mentored students who went on to institutions like Meta, EPFL, ETH, Berkeley, and Scale AI
Research Experience
Postdoctoral fellow at the EPFL AI Center, hosted by Thomas Bourgeat, Lénaïc Chizat, Nicolas Flammarion, and Viktor Kunčak
Researcher at CETI (Cetacean Translation Initiative), working on deciphering sperm whale communication
Lecturer at JamCoders, a free summer algorithms camp for high schoolers in Kingston, Jamaica, held at the University of the West Indies, Mona since 2022
Teaching Assistant for CS294-92 Analysis of Boolean Functions at UC Berkeley (Spring 2020)
Teaching Assistant for Introduction to Property Testing at the Weizmann Institute of Science (Fall 2018)
Taught a mini-course on Probabilistically Checkable Proofs at the 2018 Amos de-Shalit Summer School, Weizmann Institute of Science