Department visit of B.Tech Batch of 2000
Celebrating 25 Years – CSE Alumni Meet, B.Tech Batch of 2000 The Department proudly welcomed its B.Tech Batch of 2000 alumni on 22 December 2025… Read More »Department visit of B.Tech Batch of 2000
Highlights
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
