Currently, I work 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, 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.