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, and formal verification. I am interested in co-designing type systems, verifiers, and compilers with the hardware they target, including machine learning accelerators, so engineers can improve algorithms and performance while preserving correctness.
Graduating Fall 2027. I am looking for industry roles in formal verification, compilers, and machine learning accelerator software, and for internships in 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
News
- Sep 2026 PICO received a Distinguished Paper Award at OOPSLA 2026.
- Aug 2026 Generic Abstract Immutability Types was accepted at IWACO 2026.
Earlier news
- Jul 2025 Applied Scientist internship at Amazon, Agentic Automated Reasoning Group, with Rustan Leino (Jul–Oct 2025).
- Oct 2024 Applied Scientist internship at Amazon, Automated Reasoning in Identity, with Jenny Xiang (Oct 2024–Jan 2025).
- Jan 2023 Started my Ph.D. in Electrical and Computer Engineering at Waterloo, transferring from the M.Eng. program.