Skip to content
PG Admissions
PG Admissions
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

Automated Synthesis: Smarter, Faster, Better

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