Department of Computer Science & Engineering 

Research areas

Theoretical Computer Science:;Algorithms,Combinatorial Optimization, Combinatorics, Complexity Theory, Cryptography and Graph Theory.

Natural Language Processing: Natural language understanding; Machine translation, Semantics Extraction; Document understanding; Cross lingual information Retrieval; Intelligent interfaces.

Visual Computing: Computer graphics, Geometry processing, Image and signal processing, Computer vision and medical image computingRendering (photorealistic, non­photorealistic, real­ time, immersive); animation (character, physics­based); sketch­based systems; augmented and virtual reality; camera and imaging systems. Image and geometry reconstruction; restoration; compressed sensing; compression; pattern recognition; localization; segmentation; tracking; registration; quantization; shape analysis; group analysis; retrieval; affective computing. Machine learning methods; deep learning; matrix analysis; statistical methods.

Computer Security and Applied Cryptography: Information flow­based security modeling, language and OS security, web and browser security, security analytics, secure multi­party communication, verification of cryptographic protocols, side channel attacks and hardware security, computation on encrypted data.

Computer Networks: Performance modeling, analysis and design of wired and wireless networks, Implementation and verification of network security protocols. Deployment, data management, communication and energy­efficiency issues in Sensor Networks, Design of content distribution networks for data dissemination, Architectures and protocols for metro optical networks, Network algorithms, Utility and Pricing models, Quality of service protocols, Mobile Computing, Voice Routing, Voice over IP, RFID networks, Enterprise networks, Access and Broadband networks.

Database and Information Systems: Query Optimization, with a focus on parallel and distributed databases (aka Big Data systems), Holistic optimization of database applications, data generation for testing and grading SQL queries, Real time databases, Database support for Embedded and IoT systems, Spatial databases.

Machine Learning and Information Retrieval: Data integration models and algorithms, Graphical models, Information extraction and retrieval, Forecasting and smart e­business, Text and Web data mining. Integrated mining with relational DBMS, Temporal mining, Integrating mining with OLAP

Distributed Systems: Performance Evaluation, fault tolerance and scalability issues in distributed systems; Distributed object­based systems, Programming models and runtimes for generic agents, Parallel Computing, High performance cluster computing, Distributed operating systems, Self­ configuration using abstract performance and capacity models of distributed component based applications, Topology based problem detection and root cause isolation in enterprise environments.

Formal Methods: Formal specification, design and verification of hardware and software systems including distributed systems; Logic, automata theory and their applications in reasoning about systems; Automated theorem proving; Model checking; Reachability analysis of large and infinite state spaces: exact and approximate techniques.

Programming languages and Compilers: Theory of code optimization; Optimizing and parallelizing compilers; Analysis and implementation of functional and logic programming languages; Theory of programming languages.

Real­Time, Embedded, Cyber Physical Systems: Functional Programming Applications, Reconfigurable computing, Automobile Telematics, Embedded control units, Design and development of robots and sensor platforms, temporal constraints, time critical applications

Software Engineering and Paradigms: Software Architecture, Program Synthesis and Analysis, Design, Evolution and Re­engineering of Programs, Conceptual Models of Programs, Abstractions and Paradigms, Design Quality of Program Structure.