I am pursuing my PhD in Computer Science and Engineering. 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 guarantees secure flow of information in safety-critical systems.
Apart from research, I’m an avid badminton player. I have been trained and am playing the sport mostly regularly for the past 10+ years. I also love camp and spend time in nature. I aim to visit all national parks in US and beyond.