We are all set to conduct the in-person admission process for M.Tech (HVA/part time/sponsored), MS(R) and Ph.D. graduate programs for the upcoming academic cycle. Key… Read More »
Highlights
Formal Verification and Program Synthesis Winter School
In December 2024, the Formal Methods Group of CSE, IIT Delhi, organized a Winter School on Formal Verification and Program Synthesis. The school was open… Read More »Formal Verification and Program Synthesis Winter School
