Siddharth Priya

I am a PhD student at the University of Waterloo, where I work on automated reasoning for program verification and compiler optimizations, under the supervision of Prof. Arie Gurfinkel.

Prior to graduate school, I was a software engineer at Google, where I contributed to firmware, build systems, web applications, and testing tools.

Earlier, I completed my undergraduate studies at the Birla Institute of Technology, Mesra.

I am deeply interested in applying my experience to improve software development through principled and practical techniques.

Email: siddharth ‘dot’ priya ‘at’ uwaterloo.ca