Skip to content

Highlights

Interested in learning about fundamental and cutting-edge research on data privacy? Check out the…

Formal Verification and Program Synthesis Winter School

In December 2024, the Formal Methods Group of CSE, IIT Delhi, organized a Winter School on Formal…