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 also spent some time at NASA JPL working on modeling techniques for the Europa mission. This resulted in the K language, which is being used to model certain parts of the Europa mission.

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