Opening in the project “Innovative Technology in Neurological Devices and Instrumentation”
The last date for submitting the completed applications by email is 28/02/2025 by 5.00 p.m.
The last date for submitting the completed applications by email is 28/02/2025 by 5.00 p.m.
Vireshwar Kumar (Assistant Professor, IITD) (PI), Rajeev Shorey (Adjunct Faculty, IITD) (co-PI), Dan Kim (Professor, University of Queensland) (co-PI) Sponsored by: Ministry of Electronics and… Read More »Detecting Adversarial Machine Learning-Assisted Attacks in IoT Networks
36 Credits (0-0-72)
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
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
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
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
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