I apply my little knowledge about 1) Real Time / Cyber Physical Systems 2) Automated Reasoning and Programming Languages, 3) GPGPU optimizations for solving problems in the following areas.
  1. Safety:
    Safe and Explainable Machine Learning for CPS - Automotive n Smart Grid
    Program Analysis and Algebraic Verification for Modern Networks
    2. Program Analysis for Reliable CPS Software Implementations, Verifiable Control
  2. Security:
    Engineering Security inside CPS at various levels (Architecture, Scheduler, Programming Languages)
    Stability, Schedulability, Security, Performance trade-offs in CPS - Automotive n Smart Grid
  3. GPGPU:
    Scheduling on GPGPU systems : accelerating AI engines, Video streaming workloads etc
    Thermal/Information - aware scheduling of GPGPUs
  4. CPS in general:
    CAD support and Optimizations for Energy Systems Scheduling - HVAC, Microgrid
    Time Sensitive Networking for wired/wireless CPS
    Architecture Aware Controller Synthesis and Scheduling for CPS
Information about some of our efforts can be found in pages listed below (not updated though); email me if you want to know more about our recent works on the above topics.

  1. Energy Systems - Modeling, Simulation, Learning and Control

  2. High Performance Runtime Systems

  3. Networked Control Systems scheduling and validation

  4. Program Analysis

Collaborators :
    Dr. Debdeep Mukhopadhyay, Dr. Aritra Hazra, Dr. Pallab Dasgupta, Dr. Siddhartha Mukhopadhyay, Dr. Pabitra Mitra (IIT KGP)
    Dr. Swarnendu Biswas, Dr. Mainack Choudhury, Dr. Sandeep Shukla (IIT Kanpur)
    Dr. Supratik Chakraborty (IIT Bombay)
    Dr. Samajit Chakraborty (TU Munich)
    Dr. Daniel Müller-Gritschneder (TU Munich)
    Dr. Dip Goswami (TU Eindhoven)
    Dr. Manuel Mazo Jr. (TU Delft)
    Dr. Majid Zamani (University of Colorado Boulder)
    Dr. Qi Zhu (Northwestern University)
    Dr. Sangyoung Park (TU Berlin)