I am pursuing my PhD in Computer Science and Engineering under Dr. Borzoo Bonakdarpour at Michigan State University. My field of research is formal verification of probabilistic systems using hyperproperties.

I am interested in designing and implementing algorithms that ensure correctness guarantees for software systems.

        “Who builds a house without drawing blueprints!”
                                                    - Leslie Lamport

This quote (although taken out of context) rightly describes my overall field of work. I work on verifying specifications on the model of a system , to ensure we have sound and correct model, that ensures secure flow of information in safety-critical system.

Apart from research, I’m an avid badminton player and have been playing the sport mostly regurarly for the past 10+ years. I love travelling to places and learning about their histories.