Ruijie Gao

I am a PhD student supervised by Prof. Nathanial Bleier, in the Computer Science and Engineering Division (CSE) at the University of Michigan. My research focuses on computer architecture and electronic design automation, with particular emphasis on CPU μArch, formal verification & logic synthesis, and agile hardware design.

Previously, I completed my B.Eng. in Electrical and Electronic Engineering from the joint program by University of Glasgow and UESTC. I worked closely with Prof. Jian Weng from KAUST, Dr. Yu Zeng during my undergraduate studies.