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 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.