Yusen Su
Davis Centre, No. 3726
200 University Avenue West
Waterloo, Ontario, Canada
I’m Yusen Su (苏雨森), a PhD student in Electrical and Computer Engineering at the University of Waterloo, advised by Prof. Arie Gurfinkel.
My research focuses on static program analysis for software verification and toolchain optimization. I design abstract domains in Crab and contribute to SeaHorn (adding practical supports for SeaBMC and SeaDSA etc.). Previously, I implemented Drift, a refinement type system and abstract interpretation verifier for numerical properties.