Highlights
We are all set to conduct the in-person admission process for MSR and Ph.D. graduate programs for…
In December 2024, the Formal Methods Group of CSE, IIT Delhi, organized a Winter School on Formal…
