Indian Institute of Technology Bombay

Research Areas

  • Theoretical Computer Science
    Algorithms, Combinatorial optimization, Combinatorics, Complexity theory, Cryptography, Geometric algorithms, Graph theory.

    Faculty:
  • Artificial Intelligence and Machine Learning
    Data-Mining, Information Retrieval, Machine Translation, Natural Language Processing, Neural networks and Deep Learning, Pattern Recognition, Reinforcement Learning, Sentiment Analysis, Speech Recognition.

    Faculty:
  • Formal Methods
    Formal specification, design and verification of hardware and software 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.

    Faculty:
  • Computer Networks and Systems
    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, Telecommunication networks, Carrier Ethernet Switch routers.

    Faculty:
  • Distributed Systems and Cloud Computing
    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. Adaptive service orientation, Managing virtualization and server consolidation in clouds.

    Faculty:
  • 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.

    Faculty:
  • Database and Information Systems
    Object oriented, temporal and parallel databases, Query optimization and transaction management. Real-time databases systems, Indexing multidimensional data, Wide-area distributed database systems, Data dissemination systems, Data warehousing and database and application security.

    Faculty:
  • Software Engineering
    Object oriented software development, Component architectures. Re-engineering of software. Systems analysis and design, MIS systems, Project management, Quality assurance.

    Faculty:
  • Visual Computing
    Computer graphics, Geometry processing, Image and signal processing, Computer vision, Medical image computing. Rendering (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.

    Faculty:
  • Real-Time and Embedded Systems
    Functional programming applications, Reconfigurable computing, Automobile telematics, Embedded control units, Design and development of robots and sensor platforms.

    Faculty:
  • Security and Cryptography
    Information security, Theoretical and applied cryptography, Side-channel attacks and cryptanalysis, Privacy.

    Faculty: