The ACM India 2024 Doctoral Dissertation Award goes to Priyanka Golia for her dissertation titled “Functional Synthesis via Formal Methods and Machine Learning.” Priyanka’s dissertation… Read More »Priyanka Golia receives the ACM India 2024 Doctoral Dissertation Award
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
The Pre-doctoral Program in Computer Science and Engineering (CSE) aims to offer recent undergraduate and graduate students the opportunity to advance their research skills and… Read More »Pre-doctoral Program
14 credits (0-0-28) Pre-requisites: COD 892 The student(s) who work on a project are expected to work towards the goals and milstones set in COP893.… Read More »COD893 M.Tech Project Part-II
7 credits (0-0-14) It is expected that the problem specification and milestones to be achieved in solving the problem are clearly specified. Survey of the… Read More »COD892 M.Tech Project Part-I
3 credits (0-0-6) Research and development oriented projects based on problems of practical and theoretical interest. Evaluation done based on periodic presentations, student seminars, written… Read More »COD891 M.Tech Minor Project
1 credit (1-0-0) Pre-requisites: MTL106 OR Equivalent Special module that focuses on special topics and research problems of importance in this area.
