cv

PhD

University of Waterloo

Electrical and Computer Engineering

MASc

University of Waterloo

Electrical and Computer Engineering

• Thesis: Bounded Model Checking of Industrial Code

BE

Birla Institute of Technology, Mesra

Computer Science and Engineering

Senior Software Engineer, System Software, Platforms

Google LLC

Led system software development for data center compute products.

• Firmware development and maintenance of server systems
• Improved build-system error reporting
• Mentored and onboarded engineers

Software Engineer, Google Apps

Google India Pvt. Ltd.

Worked on Data Migration Service and GAMME application.

• Built testing framework for DMS
• Maintainer of GAMME application

Technical Lead - Developer Tools for Code Editors

Google India Pvt. Ltd.

Led implementation of Google-specific testing tools for IDEs.

Software Engineer, Google Checkout

Google India Pvt. Ltd.

Developed front-end test tool and provided testing support.

Sub-reviewer and Artifact Evaluator

Formal Methods Conferences

Reviewed and evaluated artifacts for FMCAD, TACAS, CAV

Ripple Graduate Fellowship

University of Waterloo

Awarded for conducting research in security of Blockchain systems.

Cybersecurity and Privacy Institute Excellence Scholarship

University of Waterloo

Awarded for academic performance and research in cybersecurity.

Faculty of Engineering term award

University of Waterloo

Awarded for exceptional academic, research, and, outreach performance in the term.

Faculty of Engineering term award

University of Waterloo

Awarded for exceptional academic, research, and, outreach performance in the term.