I am a Lead Engineer in the Knowledge Discovery and High Assurance Systems Lab at GE Aerospace. 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.

Education

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

Research

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).

Selected Publications

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

Miscellaneous

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).