Hello! I am a PhD student under the supervision of Dr. Eva Darulova at Max Planck Institute for Software Systems (MPI-SWS), Saarbrücken, Germany.
My primary research areas are: Program Analysis, Approximate Computing, Bounded Model Checking.
Prior to this, I have completed Master of Science (MS) by Research under the supervision of Dr. Soumyajit Dey in the Department of Computer Science & Engineering of Indian Institute of Technology, Kharagpur, India.
Formal Methods for Probabilistic Failure Analysis of Behavioral Specifications
Automated Reasoning Group, Amazon Web Services (AWS), Boston, United States Supervisor: Mark Tuttle Duration: May 2019 - July 2019
This project was focused on verifying memory safety of network protocols of Amazon's FreeRTOS using Bounded Model Checking. All proofs are available in Github.
Max Planck Institute for Software Systems (MPI-SWS), Saarbrücken, Germany Supervisor: Dr. Eva Darulova Duration: July 2016 - September 2016
The motivation of this project was to statically infer properties of a program in presence of imprecise probabilistic inputs. The probabilistic analysis can be found in Github.
Indian Institute of Technology (IIT), Kharagpur, India Supervisors: Prof. (Dr.) Pallab Dasgupta and Dr. Soumyajit Dey Sponsor: Hindustan Aeronautics Limited Duration: October 2015 - June 2016
This project was focused on formal verification of a real time operating system of a safety critical avionic system.
Indian Institute of Technology (IIT), Kharagpur, India Supervisor: Dr. Soumyajit Dey Sponsor: Intel Semiconductor (US) Limited Duration: September 2013 - January 2016
The main objective of this project was to present a hardware-software co-processing speech recognizer where the hardware accelerator would accelerate computationally intensive parts of the algorithm.
