Ruijie Gao

I am a PhD student supervised by Prof. Nathaniel Bleier, in the Computer Science and Engineering Division at the University of Michigan. My research explores how machine-readable hardware semantics can serve as a foundation for trustworthy design automation for emerging accelerators, enabling compiler generation, hardware–software co-design, and verified agentic design-space exploration.

Previously, B.Eng. in Electrical & Electronic Engineering (Glasgow × UESTC). I worked closely with Prof. Jian Weng at KAUST and Dr. Yu Zeng during undergrad.