Research Laboratories/Groups/Centers

• Centre for Formal Design and Verification of Systems
• Centre for Indian Language Technologies
• Database and Information Systems Laboratory
• Embedded Real-Time Systems Laboratory
• GCC Resource Center
• Gigabit Networking Laboratory
• Graphics and Vision Laboratory
• Laboratory for Intelligent Internet Research
• Systems and Networks Research Group

Department Laboratories

Software Laboratory

These are 2 labs : OSL(Old s/w lab), NSL(New s/w lab). There are in total, about 180 machines.
These labs are available to students 24 hours a day, 7 days a week.
For further details visit software laboratory website.

Digital and Microcomputing Laboratory

This is the lab used for teaching undergraduate courses in computer hardware.