Skip to content
Workshop Details
Workshop Details
Farewell Prof Kalra!!
Farewell Prof Kalra!!
Formal Verification and Program Synthesis Winter School
Formal Verification and Program Synthesis Winter School
Winter Theory Residency
Winter Theory Residency
Data Systems Winter School
Data Systems Winter School
previous arrow
next arrow

Latest

Upcoming

Latest YouTube videos

Research Stories

🎉 Four CSE Faculty Members Got ANRF Early Career Research Grant!

We are delighted to share that four faculty members from the Department of Computer Science and…

Automated Synthesis: Smarter, Faster, Better

In today’s fast-evolving technological landscape, designing systems—from circuits to…