Senior Research Software Engineer
I am interested in Applied Machine Learning with a focus on Software Engineering and Distributed Systems. Currently, I am working on improving developer tools and infrastructure by leveraging Machine Learning.
Previously, I worked on smart conversational features in Office 365 and Dynamics 365. I had also shipped the Static analysis tools for drivers for Windows 10 in 2015. So far, I have published over 10 papers and filed 8 patents.
For my Bachelor thesis, I worked with Karthikeyan Bhargavan and Sergio Maffeis at INRIA Rocquencourt, Paris and Imperial College London on formal verification of Web application security. The work was recognized by Facebook, Mozilla and Google with multiple WhiteHat awards.