We are offering a Winter Residency Program this December across multiple research areas. Final-year students (B.Tech, M.Tech, MS(R)) are invited to spend 7–10 days in… Read More »
Highlights
PhD Admission Winter Cycle
We are all set to conduct the in-person admission process for MS(R) and Ph.D. graduate programs for the upcoming winter cycle! Key Dates: For further… Read More »PhD Admission Winter Cycle
Department Retreat
A Day of Reflection, Collaboration, and Fun The Department’s faculty members recently enjoyed a memorable day out. The retreat provided a welcome opportunity for faculty… Read More »Department Retreat
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
