Skip to content

Highlights

We are all set to conduct the in-person admission process for M.Tech (HVA/part time/sponsored)…

Formal Verification and Program Synthesis Winter School

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