No sé sobre otros IIT, pero IIT Bombay tiene estas especializaciones:
Ciencia teórica:
Algoritmos, Optimización combinatoria, Combinatoria, Teoría de la complejidad, Criptografía, Algoritmos geométricos, Teoría de grafos.
Lenguajes de programación y compiladores:
- ¿Cuál es el mejor curso de m.tech para ingeniería civil?
- ¿Debería unirme a IISc Bangalore para un ME / M.tech en mecánica, ya que hice mi B.Tech de un NIT y trabajé en una buena empresa de fabricación?
- ¿Puede un estudiante con 5 años (B.Tech. + M.Tech.) Hacer un cambio de rama en IIT?
- ¿Cuáles pueden ser los proyectos CSE para un MTech?
- ¿Cuál es el criterio de elegibilidad para mtech en biotecnología en IIT?
Teoría de la optimización de código, Optimización y paralelización de compiladores, Análisis e implementación de lenguajes de programación funcionales y lógicos, Teoría de lenguajes de programación.
Base de datos y sistemas de información
Bases de datos orientadas a objetos, temporales y paralelas, optimización de consultas y gestión de transacciones. Sistemas de bases de datos en tiempo real, indexación de datos multidimensionales, sistemas de bases de datos distribuidos de área amplia, sistemas de difusión de datos, almacenamiento de datos y seguridad de bases de datos y aplicaciones.
Inteligencia artificial y procesamiento del lenguaje natural (futuro de CS)
Procesamiento de imágenes, reconocimiento de patrones y visión por computadora, sistemas inteligentes y sus aplicaciones: sistemas de tutoría. Comprensión del lenguaje natural, aprendizaje automático y redes neuronales. Traducción automática, Extracción semántica, Comprensión de documentos, Recuperación de información cruzada, Interfaces inteligentes.
Ingeniería de software
Desarrollo de software orientado a objetos, arquitecturas de componentes. Reingeniería de software. Análisis y diseño de sistemas, sistemas MIS, gestión de proyectos, aseguramiento de la calidad.
Métodos formales
Especificación formal, diseño y verificación de sistemas de hardware y software. Lógica, teoría de autómatas y sus aplicaciones en el razonamiento sobre sistemas. Prueba automatizada de teoremas, verificación de modelos, análisis de accesibilidad de espacios de estado grandes e infinitos: técnicas exactas y aproximadas.
Sistemas distribuidos
Evaluación de desempeño, tolerancia a fallas y problemas de escalabilidad en sistemas distribuidos. Sistemas distribuidos basados en objetos, modelos de programación y tiempos de ejecución para agentes genéricos, computación paralela, computación en clúster de alto rendimiento, sistemas operativos distribuidos. Autoconfiguración usando modelos abstractos de rendimiento y capacidad de aplicaciones distribuidas basadas en componentes, detección de problemas basada en topología y aislamiento de causa raíz en entornos empresariales
Red de computadoras
Modelado de rendimiento, análisis y diseño de redes cableadas e inalámbricas. Implementación y verificación de protocolos de seguridad de red. Implementación, gestión de datos, comunicación y problemas de eficiencia energética en redes de sensores. Diseño de redes de distribución de contenidos para la difusión de datos. Arquitecturas y protocolos para redes ópticas metropolitanas, algoritmos de red, modelos de utilidad y precios. Protocolos de calidad de servicio, informática móvil, enrutamiento de voz, voz sobre IP, redes RFID, redes empresariales, acceso y redes de banda ancha.
Minería de datos (un poco de ciencia espacial pero conserva los próximos 20 años para CSE)
Modelos y algoritmos de integración de datos, modelos gráficos, extracción y recuperación de información, pronósticos y comercio electrónico inteligente, minería de datos de sensores y bioinformática, minería de datos de texto y web. Integración de minería con DBMS relacional, Minería temporal, Minería integradora con OLAP.
Gráficos por computadora, visión por computadora y comprensión de imágenes
Diseño gráfico asistido por computadora, multimedia, informática de alto rendimiento, visualización, renderizado, animación, recuperación de imagen y video, captura de movimiento, métodos basados en puntos
Sistemas en tiempo real e integrados
Aplicaciones de programación funcional, informática reconfigurable, telemática automotriz, unidades de control integradas, diseño y desarrollo de robots y plataformas de sensores.
Lenguajes formales e informática bio-inspirada
ADN, Membrana y Computación Cuántica, Combinatoria en palabras.
Cortesía: https://www.cse.iitb.ac.in/page30