junrui-liu.github.io - Junrui Liu

home > domains > junrui-liu.github.io

Example domain paragraphs

I am a first-year Computer Science PhD student at UC Santa Barbara , studying program verification and synthesis. I am fortunate to be advised by Prof. Yu Feng .

I received my undergraduate degree from Vassar College, and my M.S. from Yale University.

Email  /  GitHub  /  LinkedIn

Links to junrui-liu.github.io (1)

• fredfeng.github.io Yu Feng (冯煜)