Research Projects

Principal Investigator

  • RL BASED BEAMFORMING FOR JCAS SAFE CAUSAL AND VERIFIABLE" (Spnsor: Ericsson Research, India)
  • Safe Reinforcement Learning for Neural Network-Controlled Autonomous CPS - AI4CPS TIH IITGKP, NMCPS, DST (2024-2025)
  • Implementation of Monitors and Secure manoeuvres for semi-Autonomous Connected Vehicle Platoons (Meity) 2021 - 2023
  • Exploring Formal Methods for Smart Grid Privacy and Security (SERB SUPRA) 2021 - 2023
  • A Software Tool for the Planning and Design of Smart Micro Power Grids (PI of IIT KGP module) - MHRD and Ministry of Power (2017 - 2021)
  • An OpenCL Runtime System for Scheduling Data Parallel Workloads on Heterogeneous Clusters (DST Early Career Grant) 2017 - 2020
  • Intelligent ADAS Task Management on Heterogeneous Automotive Architectures - Qualcomm India Pvt. Ltd. (2018 - 2019)
  • Synthesizing Test Programs as Directed Test Families for Incremental CPU Validation (Intel Semiconductor (US) Limited) : 2015 - 2017
  • Intel Embedded Innovation Lablet (Intel Semiconductor (US) Limited) : 2013 - 2017
  • Static Analysis Based Partitioning Techniques for GPGPU Programs (ISIRD Grant, SRIC IIT Kharagpur) : 2013 - 2017

    • Co-Principal Investigator

  • Development of Secure Hardware and Automotive Cyber Physical Systems - IHUB NTIHAC Foundation - IIT Kanpur (2021 - 2025)
  • Development of a Hybrid Continuum to Atomistic Scale Solver for Multi-scale Flow Problems - National Supercomputing Mission (2021-2022)
  • "Transportation Cyber-Physical Systems" - SPARC
  • Cyber Security Research in CPS - TCG Foundation (2018 - 2022)
  • FMSAFE: A Networked Centre for Formal Methods in Validation and Certification Procedures for Safety Critical ICT Systems - MHRD and Ministry of Railways (2017 - 2021)
  • Open & Intelligent Plug-in Hybrid Electric Vehicle (PHEV) Technologies For Smart Indian Cities (Under Uchhatar Avishkar Yogana) : 2017 - 2020
  • Architecture-aware timing analysis and optimization of safety-critical automotive software (Indo-German Science & Technology Centre) : 2013 - 2015

    • Consultancy Projects

    Principal Investigator

  • Robustness Analysis of Automotive Control Systems (Bosch) : 2018-2019
  • Architecture and Algorithmic Optimizations for Speech based Communication Interfaces on Mobile Devices. (Intel Semiconductor (US) Limited) : 2013 - 2020

    • Co-Principal Investigator

  • RTOS Validation and Development Support. (HAL) : 2015 - 2017