Recent Research Interests
-
Edge and Cloud Computing
-
Formal Verification
-
Reinforcement Learning
Research Support
-
DST, Govt. of India
-
Advanced Systems Lab (ASL), DRDO, Govt. of India
-
Scientific Analysis Group (SAG), DRDO, Govt. of India
-
Center for Artificial Intelligence and Robotics (CAIR), DRDO, Govt. of India
-
Research Center Imarat (RCI), DRDO, Govt. of India
-
IBM Research Labs University Relations
-
Microsoft Research collaborative Faculty research grant
-
TCS Innovation Labs
-
Ercisson Research
-
Semiconductor Research Corporation (SRC)
Research Groups and Tools
-
Services Computing Research
- Computer Architecture Research
- Formal Methods Research
Content for class "clear" Goes Here