## Area | ## Faculty |

Algebra | Nitin Saxena |

Algebraic Geometry | Nitin Saxena |

Algorithmic Information Theory | Satyadev Nandakumar |

Algorithms | Phalguni Gupta, Shashank K. Mehta, Surender Baswana, Sumit Ganguly, Manindra Agrawal, Sanjeev Saxena, Nitin Saxena, Ratan K Ghosh |

Application of formal methods to embedded and cyberphysical systems | Sandeep Kumar Shukla, Indranil Saha |

Approximation Algorithms | Shashank K. Mehta |

Artificial Intelligence | Amitabha Mukerjee, Harish Karnick |

Automated & Commonsense Reasoning | Harish Karnick |

Bayesian Statistics | Piyush Rai |

Big Data | Medha Atre |

Bioinformatics | Arnab Bhattacharya |

Biometrics | Phalguni Gupta |

Cognitive Science | Amitabha Mukerjee, Ajai Jain, Harish Karnick, Arnab Bhattacharya |

Compilers | Amey Karkare, Subhajit Roy, Harish Karnick |

Complexity Theory | Somenath Biswas |

Computational Algebra | Piyush P Kurur |

Computational Cognitive Science | Nisheeth Srivastava |

Computational Complexity | Piyush P Kurur, Rajat Mittal |

Computational Complexity Theory | Nitin Saxena, Raghunath Tewari, Manindra Agrawal |

Computational Geometry | Shashank K. Mehta, Raghunath Tewari, Surender Baswana, Sanjeev Saxena |

Computational Social Science | Nisheeth Srivastava |

Computer Graphics | Vinay P. Namboodiri |

Computer Hardware and Architecture | Rajat Moona, Mainak Chaudhuri |

Computer Networks | Dheeraj Sanghi, Ratan K Ghosh |

Computer Vision | Gaurav Sharma, Amitabha Mukerjee |

Computer Vision and Machine Learning | Vinay P. Namboodiri |

Computible Analysis | Satyadev Nandakumar |

Data Mining | Arnab Bhattacharya |

Data Streaming | Sumit Ganguly, Arnab Bhattacharya |

Data Structures | Sanjeev Saxena |

Databases | Sumit Ganguly, Arnab Bhattacharya |

Deep Learning | Piyush Rai, Gaurav Sharma |

Discovery | Ajai Jain, Harish Karnick, Arnab Bhattacharya |

Distributed Systems | Sunil Simon, Medha Atre |

Dynamic Algorithms and Randomized Algorithms | Surender Baswana |

Education | Amey Karkare, T. V. Prabhakar |

Embedded Computing | Sandeep Kumar Shukla, Rajat Moona |

Face Image Analysis | Gaurav Sharma |

Fault-tolerance in VLSI | Ajai Jain |

Functional Programming | Amey Karkare |

Game Theory | Sunil Simon |

Graph Algorithms | Surender Baswana |

Graph Mining | Medha Atre |

Graph Theory | Raghunath Tewari, Surender Baswana, Shashank K. Mehta, Sanjeev Saxena, Ratan K Ghosh |

Heuristics | Sanjeev Saxena |

Human Factors in Computing | Nisheeth Srivastava |

Image Processing | , Phalguni Gupta |

Internet and Web Technologies | T. V. Prabhakar, Harish Karnick |

IPv6 | Dheeraj Sanghi |

Knowledge Engineering | T. V. Prabhakar |

Learning | Ajai Jain, Harish Karnick, Arnab Bhattacharya |

Logic | Somenath Biswas, Anil Seth |

Machine Learning | Piyush Rai, Vinay P. Namboodiri, Purushottam Kar, Amitabha Mukerjee, Gaurav Sharma |

Machine Translation | Ajai Jain |

Mobile/Wireless | Ratan K Ghosh, Dheeraj Sanghi |

Natural Language Processing | Ajai Jain, Amitabha Mukerjee |

Operating Systems | Rajat Moona |

Optimization | Purushottam Kar |

Parallel Algorithms | Ratan K Ghosh |

Parallel Processing | Sanjeev Saxena, Ajai Jain, Ratan K Ghosh |

Program Analysis & Code Optimization | Subhajit Roy, Amey Karkare |

Programming Languages | Subhajit Roy, Harish Karnick, Amey Karkare |

Protocols | Dheeraj Sanghi |

Quantum Computing and Semidefinite Programming | Rajat Mittal |

Robotics | Indranil Saha, Amitabha Mukerjee |

Security | Manindra Agrawal, Dheeraj Sanghi, Arnab Bhattacharya |

Sensor Networks | , Arnab Bhattacharya |

Sequential and Parallel Algorithms | Phalguni Gupta |

Software Architecture | T. V. Prabhakar |

Software Engineering | T. V. Prabhakar, Harish Karnick |

Statistical Learning Theory | Purushottam Kar |

Telecom Regulation | Dheeraj Sanghi |

Temporal Logics and Verification | Sunil Simon |

Theoretical Computer Science | Satyadev Nandakumar, Anil Seth, Raghunath Tewari, Somenath Biswas, Manindra Agrawal, Nitin Saxena, Harish Karnick |

Vision | Phalguni Gupta |

Visual Analytics | Gaurav Sharma |

VLSI | Sanjeev Saxena |

VLSI Design | Rajat Moona, Ajai Jain |

VLSI Testing | Rajat Moona, Ajai Jain |