cv
Basics
| Name | Siddharth Priya |
| Label | Software verification researcher |
| Summary | PhD student in ECE at University of Waterloo, with research on program verification. Former Senior Software Engineer at Google. |
Education
-
2021.09 - Present Waterloo, Canada
-
2020.01 - 2021.09 Waterloo, Canada
MASc
University of Waterloo
Electrical and Computer Engineering
- Thesis: Bounded Model Checking of Industrial Code
-
2002.08 - 2006.05 Ranchi, India
Work
-
2014.09 - 2019.12 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
-
2012.08 - 2014.09 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
-
2008.03 - 2010.07 Technical Lead - Developer Tools for Code Editors
Google India Pvt. Ltd.
Led implementation of Google-specific testing tools for IDEs.
-
2006.11 - 2008.02 Software Engineer, Google Checkout
Google India Pvt. Ltd.
Developed front-end test tool and provided testing support.
Volunteer
-
2021.01 - 2025.01 Global
Sub-reviewer and Artifact Evaluator
Formal Methods Conferences
Reviewed and evaluated artifacts for FMCAD, TACAS, CAV
Awards
- 2023.04.01
Ripple Graduate Fellowship
University of Waterloo
- 2021.08.01
Cybersecurity and Privacy Institute Excellence Scholarship
University of Waterloo