COD895 MS Research Project
36 Credits (0-0-72)
admin
COL778 Principles of Autonomous Systems
Credits: 4 (3-0-2) Pre-requisite(s): Any one of CoL333 / CoL774 / ELL784 /ELL409 Intelligent Agent/Robot Representation. Software and simulationtools. Classical Planning. Anytime and incremental search.… Read More »COL778 Principles of Autonomous Systems
COL761 Data Mining
4 Credits (3-0-2) Pre-requisite(s): CoL106 oR Equivalent Association rule-mining, FP-tree, Prefix-span, Multi-support rulemining, Frequent subgraph mining (gSpan and FSG), Clustering(Agglomerative clustering, k-means, k-medoid, DBSCAN, oPTICS,CuRE,… Read More »COL761 Data Mining
Automated Synthesis: Smarter, Faster, Better
In today’s fast-evolving technological landscape, designing systems—from circuits to software—demands correctness, efficiency, and scalability. Automated synthesis is revolutionizing this process by enabling the automatic generation… Read More »Automated Synthesis: Smarter, Faster, Better
Outstanding TAs 2024-25-I
Course Teaching Assistants COL100 (Introduction to Computer Science) Nischay Diwan, Akshit Goel, Ankit Mondal, Harsh Himanshu Vora, Pothamsetty Chethan Manogna Sai, Amaiya Singhal, Rittik Dey, Shreyash… Read More »Outstanding TAs 2024-25-I
Priyanka Golia receives the ACM India 2024 Doctoral Dissertation Award
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
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
