Currently, I work at Microsoft (Research) in the area of static analysis, systems, learning, and engineering. My current projects focus on creating a static analysis/verification platform using Microsoft Azure – Static Module Verifier, and performing build quality management using ML techniques and static analysis. In the past (at Microsoft), I worked extensively on the SLAM model checker, Static Driver Verifier, Massively Empowered Classrooms , and Yogi.
I enjoy my work, biking, running, cooking, and traveling.
Please feel free to contact me via any of the links above or email…
Email: rahulku at microsoft dot com | rahulskumar at gmail dot com