Bingzhe Liu (刘炳哲)
Bingzhe

Contact

Email: bingzhe [at] illinois [dot] edu
Check out my Curriculum Vitae here.

I am a PhD candidate in the Department of Computer Science at University of Illinois Urbana-Champaign, advised by Professor Brighten Godfrey. I am interested in enhancing the reliability and performance of networked system via automated reasoning, including verification, synthesis and software analysis. Going forward, I am also interested in improving the reliability of AI/LLM-enabled software development via practical formal methods.

I grew up in Jinan, a beautiful city on the east of China. In my spare time, I like playing board games and cooking.

Education

Aug. 2016 - May. 2024

Ph. D. student, Computer Science
University of Illinois Urbana-Champaign, Illinois

Sept. 2010 - Jun. 2014

B. E., Computer Science
Huazhong University of Science & Technology (HUST), Wuhan, China

Publication

Professional Experience

Sept. 2021 - Apr. 2022

Google, Remote
Research Intern, NetInfra Team, Hosted by Dr. Colin Scott

May 2021 - July 2019

AT&T Research Lab, Bedminster, NJ
Research Intern, Hosted by Dr. Pramod Jamkhedkar

May. 2018 - Aug. 2018

Microsoft Research, Redmond, WA
Research Intern, Hosted by Dr. Yongguang Zhang

May. 2017 - Aug. 2017

Google, Sunnyvale, CA
Intern, Cloud Network Engineering Productivity Team, Hosted by Dr. Pan Shi

Aug. 2013 - May 2014

Microsoft Research Asia, Beijing, China
Research Intern, Systems Research Group, Advised by Dr. Ming Wu

Teaching

2015 Winter and Spring

CS16: Problem Solving with Computers I, UCSB

2018 Fall

CS436: Systems and Networking Laboratory, UIUC

2019 Spring

CS538: Advanced Networked System, UIUC

2020 Fall

CS498CNO: Cloud Networking, UIUC

Awards

2014

Excellent Graduate, Huazhong University of Science & Technology

2013

National Scholarship, Ministry of Education of P. R. China (for ranking 1/310 in my junior year)

2013

Bronze Medal, ACM-International Collegiate Programming Contest, Asia Regional

Copyright © 2016 Bingzhe

Last Update: Apr. 24 2023