Aosen Xiong

I am a Ph.D. candidate in Electrical and Computer Engineering at the University of Waterloo, advised by Prof. Werner Dietl. I also completed a Master of Business, Entrepreneurship and Technology at Waterloo. Before Waterloo, I earned my B.Eng. at Chongqing University.

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.

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

Email: aosen.xiong@uwaterloo.ca · Office: EIT 4143, Ring Rd, Waterloo, ON