News
In Chennai from June 25–July 4 for ISLA 2026 and the Formal Methods Update Meeting.
In Goa for the FSTTCS Mentoring Workshop, participating in a day-long workshop on theoretical computer science.
At PLDI 2025 in Seoul for the Programming Languages Mentoring Workshop.
AxLaM — our paper on energy-efficient accelerator design — is out in Philosophical Transactions of the Royal Society A.
At the ACM India Winter School on Modern Cryptography at IIT Madras this December.
In Budapest for a week on mathematics for post-quantum cryptanalysis.
At CMMRS 2024 this summer — the Cornell, Maryland, Max Planck pre-doc research school.
Headed to Buenos Aires for ISCA 2024 and the uArch mentoring workshop.
Spending the summer at the Data Systems Group, MPI-SWS in Saarbrücken, as a research fellow.
Our De Bruijn sequences paper was accepted at Discrete Mathematics.