2020. My research at the <a href="//watform.uwaterloo.ca">Waterloo
Formal Methods</a> group focused on formal logic, model checking, and
verification; under supervision of
2020. My research at the <a href="//watform.uwaterloo.ca">Waterloo
Formal Methods</a> group focused on formal logic, model checking, and
verification; under supervision of