Areas of Research

Algorithms and Complexity

• Applied Algorithms Lab

Computer Systems

• Experimental Computer Systems Lab
• File-systems and Storage Lab
• Media Networks Lab
• Mobile and Sensor Networks Lab
• SAMSON Lab
• Secure Systems Research Lab
• SPLAT LAB

Concurrency and verification

• Applied Logic Lab
• Concurrency and verification Lab
• Design and Analysis Research Lab
• SPLAT LAB

Database

• Applied Logic Lab
• Design and Analysis Research Lab

Human Computer Interaction

• Natural Language Processing Lab

Languages and Systems

• Design and Analysis Research Lab

Logic Programming and Deductive Systems

• Applied Logic Lab
• Design and Analysis Research Lab

Natural Language Processing

• Natural Language Processing Lab

Networking

• Center for Cyber Security
• Center of Excellence in Wireless and Information Technology
• Experimental Computer Systems Lab
• Media Networks Lab
• Mobile and Sensor Networks Lab
• Net Lab
• Secure Systems Research Lab
• Wireless Networking and Simulation Lab
• SPLAT LAB

Security

• Center for Cyber Security
• Center of Excellence in Wireless and Information Technology
• Experimental Computer Systems Lab
• File-systems and Storage Lab
• Mobile and Sensor Networks Lab
• Network Security and Applied Cryptography
• Secure Systems Research Lab
• SPLAT LAB

Visual Computing

• Center for Visual Computing
• Graphics Hardware Lab
• Virtual Reality Lab
• Visualization Lab