I am currently working as a Research Engineer in the High-Assurance Systems Laboratory at General Electric Research. I completed my PhD in Computer Science from Rensselaer Polytechnic Institute in 2022 where I was awarded the Robert McNaughton Prize for outstanding achievements as a graduate student in the Department of Computer Science.
- PhD in Computer Science from Rensselaer Polytechnic Institute, NY, United States, May 2022
- MS in Computer Science from Rensselaer Polytechnic Institute, NY, United States, December 2018
- BTech in Computer Science and Engineering from National Institute of Technology Agartala, Tripura, India, May 2015
My research interests lie in cyber-physical systems, distributed algorithms, formal verification, and safety-critical systems.
While pursuing a PhD at the Worldwide Computing Laboratory (WCL) at Rensselaer, I investigated tools and techniques for making aerospace systems safer (see the ASSURE and PILOTS projects). My interdisciplinary research involved domains from Computer Science (such as formal methods, distributed systems, cyber-physical systems, and autonomous systems) and Aerospace Systems (such as path planning, air traffic management, fly-by-feel, and Urban Air Mobility).
- PhD Dissertation: Formal Verification of Decentralized Coordination in Autonomous Multi-Agent Aerospace Systems
- Master's Thesis: Emergency Trajectory Generation for Fixed-Wing Aircraft
- My Google Scholar page
FUN FACT: My academic lineage consists of prominent scientists like Galileo, Newton, Torricelli, and De Morgan. An incomplete tree of the same can be seen below (the arrows represent Mentor --> Mentee relationship).