The biggest focus of my work is to enable probabilistic reasoning for software and its elements such that engineers can comprehend, automate and reason about it on a broader scale.
This is also the main content of my Ph.D. i am currently doing.