I have been working on program analysis and program transformation technologies to detect security, reliability, and compliance bugs in software for over fifteen years. All along, I have been driven by this challenge: "Why do bug detection tools stop at detection; What if there were services that not only detect bugs but also fix code automatically?" Over the years, my teams at the academia, industry, and startup have brought in many firsts: first correct and complex code rewriting tool for C, first refactoring engine for Go, first bug detection tool for JavaScript and Android, first big fixing tool for C, Java, and Python.
Listed skills include Distributed Systems, Software Project, Public Speaking, Linux, and 19 others.