I am a PhD student in the Department of Computer Science at Rensselaer Polytechnic Institute. I am affiliated to the Worldwide Computing Laboratory (WCL) at RPI and Dr. Carlos A. Varela is my research advisor.
My hometown is Agartala, the capital of the Indian state of Tripura.
Note: After I graduate in May 2022, this site will no longer be updated. You can visit my Github site instead.
- M.S. in Computer Science from Rensselaer Polytechnic Institute, NY, United States, December 2018
- B.Tech. in Computer Science and Engineering from National Institute of Technology Agartala, Tripura, India, May 2015
- Dr. Carlos A. Varela (Chair, RPI)
- Dr. Stacy Patterson (RPI)
- Dr. Selmer Bringsjord (RPI)
- Dr. César A. Muñoz (NASA)
My research interests lie in dynamic data-driven applications systems, cyber-physical systems, distributed algorithms, and formal verification.
Provably Safe Aerospace Systems
Current air-traffic control (ATC) is dependent on human controllers and is vulnerable to human errors. The system is not scalable and cannot be verified easily. ATC errors have been identified as factors in catastrophic incidents like the Gol Transportes Aéreos Flight 1907, the 2002 Überlingen mid-air collision, and the more recent collision between a Cessna and a Sabreliner. Another limitation of human-managed ATC is the lack of fast and precise decision making in the face of emergencies -- e.g., in the Hudson river landing incident of US Airways Flight 1549, by the time the controllers realized that LGA13 of LaGuardia Airport was the best possible option for a safe landing, the aircraft had already lost too much altitude to reach that runway.
With the integration of uncrewed aircraft systems (UAS) for civilian applications, the density of aircraft in the National Airspace System (NAS) will increase significantly in the near future. This will make it necessary to develop smarter air traffic management (ATM) systems that can ensure required separation between the aircraft. The UAS must also be more self-sufficient in terms of self-diagnosis and self-healing by using real-time data from both onboard sensors and network-connected sources. The main focus of my research is to design provably-correct techniques for making aerospace systems safer in the future. More details can be found at the project links provided below.
- ASSURE: Analysis of Safety-Critical Systems Using Formal Methods-Based Runtime Evaluation
- Emergency Trajectory Generation for Fixed-Wing Aircraft
My research is being supported by grants from the Air Force Office of Scientific Research (AFOSR) and the National Science Foundation (NSF).
- PhD Dissertation
- Master's Thesis
- My WCL publications list
- My Google Scholar page
- (03/16/2022) Successfully defended my PhD Dissertation
- (10/07/2021) Our paper on Operational Risk Assessment received the Best Paper Award, Software Develpment Session, at DASC 2021
- (04/30/2021) Successfully passsed the Ph.D. Candidacy Exam
- (08/15/2020) Received the GE Impact Award as a Summer Research Intern at GE Global Research, Niskayuna, NY, USA
- (09/01/2019) Our paper on conflict-aware flight planning has been nominated for the Best Student Paper Award at DASC 2019
- (03/24/2019) Our Emergency Trajectory Generation project was featured in a news article in the Albany Times Union