Self-Introduction
I'm a PhD student at the University of British Columbia, and I'm interested in programming language design in an applied context. I consider domain-specific problems from a linguistic viewpoint, and try to help people deal with a given issue easier by helping them express themselves more effectively.
At the moment, I'm primarily working in the TLA+ ecosystem, where I am one of the main developers of the PGo project. The project's goal is to take a simplified, more pragmatic approach to verified distributed systems development by providing lighter-weight model checking-based verification alongside a simplified imperative-like modeling language and a flexible API for interoperation between verified and unverified code.
This site, like a CV but more colourful, combines information about my projects and other pursuits for those interested. Check out the links at the top for more information.
Education
- PhD, University of British Columbia, 2020-current. Supervised by Ivan Beschastnikh.
- MMath, University of Waterloo, 2018-2020. Supervised by Ondřej Lhoták.
- BSc w/Co-op, University of British Columbia, 2013-2018.
Contact
Talks
- August'24 @Imperial College London (hosted by Marios Kogias),
- July'24 @Cambridge University (hosted by Heidi Howard, Ryan Gibb), and
- January'24 @Microsoft Research Cambridge (hosted by Matthew Parkinson)
- Finn Hackett,
- Joshua Rowe, and
- Markus Alexander Kuppe
- Finn Hackett,
- Shayan Hosseini,
- Ruchit Palrecha,
- Yennis Ye, and
- Ivan Beschastnikh
- Finn Hackett,
- Ivan Beschastnikh,
- Renato Costa, and
- Matthew Do
Publications
- Finn Hackett,
- Joshua Rowe, and
- Markus Alexander Kuppe
- Finn Hackett,
- Shayan Hosseini,
- Renato Costa,
- Matthew Do, and
- Ivan Beschastnikh