| Research Areas |
Faculty |
Algorithms and Complexity Theory
Algorithmic graph Theory, computational geometry, randomized algorithms, approximation algorithms, complexity theory. |
Naveen Garg
S. N. Maheshwari
Huzur Saran
Sandeep Sen
Amit Kumar
Amitabha Bagchi |
Artificial Intelligence and Natural Language Processing
Blackboard Architectures, expert systems, natural language processing, machine learning, parallel heuristic search. |
K.K. Biswas
S.K. Gupta
Saroj Kaushik |
Computer Networks and Distributed Systems [ Wireless ] [ ACT4D ]
Multimedia information representation, synchronization and retrieval, interactive communication, network security, high-speed network, ATM protocols, congestion control, wireless & mobile communication, Grid computing, content distribution, social networks, information and communication technologies for development |
B. N. Jain
Sanjiva Prasad
Huzur Saran
Vinay Joseph Ribeiro
Aaditeshwar Seth
Amit Kumar
Amitabha Bagchi |
Databases
Object-oriented information systems, GIS, dictionary management and concurrency control in databases, multi-database systems, indexing techniques and file design, design and implementation of programming languages. |
S. Arun-Kumar
S.K. Gupta
S. N. Maheshwari
Sanjiva Prasad
Pankaj Jalote
Amit Kumar |
OS Virtualization, Cloud Computing, and Systems Security
Design and Performance of Hypervisors, Client Virtualization,
Content Distribution in Cloud Environments, Virtualization-Based
Approaches to Implementing Security Policies, Security in a virtualized
data center
|
Sorav Bansal
Huzur Saran
Kolin Paul
Subhashis Banerjee
|
Multi-core and Parallel Computation
Library support for multi-core computation, Programming Language and
Compiler support to program memory hierarchies and multi-core processors,
Using GPU for general purpose computation, Parallel Algorithms
|
Sorav Bansal
Kolin Paul
Subodh Kumar
Sandeep Sen
|
EDA and Computer Architecture
Design automation tools for VLSI, parallel algorithms for VLSI CAD, high-level synthesis, hardware specification and verification. |
Anshul Kumar
M. Balakrishnan
Preeti Ranjan Panda
Kolin Paul |
Embedded Systems
Methodology for synthesis of embedded systems, CAD and Architectures for Embedded Systems, low-cost computing, real-time operating systems for embedded systems, sensor networks. |
Anshul Kumar
M. Balakrishnan
Subhashis Banerjee
B. N. Jain
Preeti Ranjan Panda
Kolin Paul |
Reconfigurable Computing
Design of reconfigurable systems, detection of reconfigurable functional units |
M. Balakrishnan
Kolin Paul |
Graphics and Vision
Rendering and animation, modeling and synthesis, virtual reality and walk-throughs, facial animation, 2D and 3D object recognition, invariants, multiple view geometry, structure and motion, video compression, real-time vision. |
Subhashis Banerjee
Prem Kalra
Subodh Kumar
Niloy J Mitra
K.K. Biswas |
Semantics and Verification, Programming Languages
Logic, semantics and algebraic theories of concurrency. |
S. Arun-Kumar
Sanjiva Prasad
Pascal Weil |
