• Subodh Sharma, Priyanka Golia, and I are organizing a Winter School on Formal Verification and Program Synthesis at IIT Delhi during December 3-6, 2024. Apply here if you are interested!