Aosen Xiong

I am a Ph.D. candidate in Electrical and Computer Engineering at the University of Waterloo, advised by Prof. Werner Dietl. My doctoral studies are supported by Waterloo's International Doctoral Student Award and Graduate Research Studentship.

My work sits at the boundary of programming languages, type systems, program verification, and usable developer tooling. I am interested in co-designing type systems, program verifiers, and software-hardware abstractions so engineers can improve algorithms and performance while preserving correctness.

I am also pursuing a Master of Business, Entrepreneurship and Technology at Waterloo, supported by the Entrepreneurial PhD Fellowship. This training shapes how I think about moving research prototypes toward tools that real engineering teams can adopt.

Graduating Fall 2027. I am looking for industry roles in program verification, compilers, and developer tooling, and I am glad to hear from anyone working on those problems.