## Area | ## Faculty |

Algebra | Nitin Saxena |

Algebraic Geometry | Nitin Saxena |

Algorithmic Information Theory | Satyadev Nandakumar |

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

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

Application of Machine Learning and Game Theory on Systems | Biswabandan Panda |

Approximation Algorithms | Shashank K. Mehta |

Artificial Intelligence | Amitabha Mukerjee, Swaprava Nath, Harish Karnick |

Automated & Commonsense Reasoning | Harish Karnick |

Bayesian Statistics | Piyush Rai |

Big Data | Medha Atre |

Bioinformatics | Arnab Bhattacharya |

Biometrics | Phalguni Gupta |

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

Compilers | Subhajit Roy, Amey Karkare, 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 | Manindra Agrawal, Raghunath Tewari, Nitin Saxena |

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

Computational Social Choice | Swaprava Nath |

Computational Social Science | Nisheeth Srivastava |

Computer Architecture | Biswabandan Panda |

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 |

Crowdsourcing | Swaprava Nath |

Data Mining | Arnab Bhattacharya |

Data Streaming | Sumit Ganguly, Arnab Bhattacharya |

Data Structures | Sanjeev Saxena |

Databases | Arnab Bhattacharya, Sumit Ganguly |

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, Swaprava Nath |

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, Amitabha Mukerjee, Purushottam Kar, Vinay P. Namboodiri, Gaurav Sharma |

Machine Translation | Ajai Jain |

Mechanism Design | Swaprava Nath |

Mobile/Wireless | Ratan K Ghosh, Dheeraj Sanghi |

Multi Agent Systems | Swaprava Nath |

Natural Language Processing | Amitabha Mukerjee, Ajai Jain |

Operating Systems | , Rajat Moona |

Optimization | Purushottam Kar |

Parallel Algorithms | Ratan K Ghosh |

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

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 |

Security aspects in Computer Architecture | Biswabandan Panda |

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 |