2026
arXiv
Preprint
ATLAAS: Automatic Tensor-Level Abstraction of Accelerator Semantics
arXiv preprint · 2026
I am a PhD student supervised by Prof. Nathaniel Bleier, in the Computer Science and Engineering Division at the University of Michigan. My research focuses on computer architecture and electronic design automation — with particular emphasis on automated reasoning, and agile hardware design.
Previously, B.Eng. in Electrical & Electronic Engineering (Glasgow × UESTC). I worked closely with Prof. Jian Weng at KAUST and Dr. Yu Zeng during undergrad.
SMT-driven equivalence checking and model refinement for accelerator designs; developing tractable abstractions that preserve functional intent while cutting proof time.
Unifying architectural simulation and RTL implementation under one abstraction, so architects can iterate with software-like velocity — without sacrificing cycle-accurate fidelity.