Research & Teaching
RelationalReasoning
Reasoning about how two program runs relate. Verification, and teaching.
Two Destinations
01
Interactive talk · ARRAY 2026
Relational Cell Morphing for Array‑Manipulating Programs
A relational verification framework for array programs via cell‑morphing abstraction, automated with CHC solving.
View the slides 02 Course platformPA Bootcamp
An interactive coding‑bootcamp platform for students: lessons, practice, and hands‑on programming.
Open the bootcamp