| Research Areas | Faculty Members |
|---|---|
| Algorithms and Complexity | Prof. Narendra S. Chaudhari |
| Theoretical Computer Science | |
| Combinatorics: Design Theory | |
| Software Engineering | Prof. Abhishek Srivastava |
| Dynamic Systems | |
| Model-Based Software Testing | |
| Software Quality Assurance | |
| Web Services | |
| CAD-VLSI, EDA, High Level Synthesis, IP core Security, Hardware Trojan, | Dr. Anirban Sengupta |
| Fault Security, Digital Watermark in digital chip, Optimization of Hardware Accelerators, Design Automation | |
| Computer Architecture | |
| Application Specific Processor Design from ESL TO RTL | |
| Automation and Optimization of Custom Processors | |
| High Level Synthesis/Electronic System Level Synthesis of Data Flow Graphs | |
| Genetic Algorithms/Evolutionary Approaches | Prof. Aruna Tiwari, Dr. Anirban Sengupta |
| Soft Computing | Prof. Aruna Tiwari |
| Neural Network Learning Algorithms | |
| Artificial Intellignce | |
| Databases | |
| Pattern Recognition | Dr. Surya Prakash, Dr. Somnath Dey |
| Biometrics | |
| Computer Vision | |
| Image Processing | |
| Human Computer Interaction | |
| Computer Graphics | |
| Numerical Analysis | Prof. Kapil Ahuja |
| Numerical Linear Algebra | |
| Computational Science and Engineeeing | |
| Information Retrieval | |
| Formal Analysis of Reactive Systems: Model Checking, Abstract Interpretation, Static Analysis | Dr. Gourinath Banda |
| Real Time Systems: Kernels, Software Engineering, RTOS, etc. | |
| Cyber-physical Systems, Embedded Systems, Mechatronic Systems.. | |
| Network Security Cloud Security, | Dr. Neminath Hubballi |
| System Security | |
| Dependable Systems and Data Mining. | |
| Side-channel attacks, Fault analysis attacks, | Dr. Bodhisatwa Mazumdar |
| Fault sensitivity analysis of cryptographic implementations | |
| Hardware security (Logic locking, IC camouflaging, IP security), | |
| Logic synthesis and cryptographic implementations with improved resilience against side-channel attacks. |