Hi, I’m Zack. I’m a PhD student in the Software Practices Lab at the University of British Columbia, working under the supervision of Alex Summers.

My main research interest is program verification: proving that a program operates correctly with respect to a formal specification of its intended behaviour. Currently, I am focused on development of the Rust program verifier Prusti. Previously, I did some work on Liquid Haskell, a program verifier for Haskell that uses refinement types.

A list of my papers is available here. See here for personal info.

I can be reached via email at the following address: zgrannan at cs dot ubc dot ca. You can also contact me at my personal email: zgrannan at protonmail dot com.