Portrait of Chetan Bansal

Chetan Bansal

Senior Research Software Engineer

About

I am a member of the Knowledge Technologies Group at Microsoft Research Redmond. Previously, I was a part of the Operating Systems group, where I shipped the Static analysis tools for drivers for Windows 10. Earlier, I was a part of the Advanced Development Group at Microsoft Research India.

I graduated from BITS Pilani – Goa Campus, India, with Bachelors in Chemical Engineering and M.Sc. in Biological Sciences in 2013.

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 bounty awards.

I have also led product development for a couple of startups. My interests are: intelligent assistants/bots, web security, and distributed systems.

Projects

Outlook Actionable Messages
Dynamics 365 Relationship Assistant
Static Module Verifier
Static Driver Verifier
Massively Empowered Classrooms

Publications