Hi there! I am Baichuan Li
Master of Computer Science@ University of Michigan
Find out more about meLinux
I use Linux as my main Operating System.
CUDA
I used CUDA for my term projects of EECS 471.
Python
I love wrting code. I love Python.
C / C++
I have been writing C and C++ for a long time.
Docker
Docker provides the safety for all my services running on my personal server.
Kubernetes
I am one of the developers of a Kubernetes Project called Jaseci.
Flask
I am experienced with Python Flask backend development.
Unity
I enrolled in EECS 494 @ University of Michigan, a game development course.
Dafny Formal Verification
Dafny is a formal verification language.
Skills
Click the images below to find out more
Linux
CUDA
Python
C / C++
Docker
Kubernetes
Flask
Unity
Dafny Formal Verification
Education
University of Michigan - Ann Arbor
Ph.D. of Computer Science
August 2025 - Now
University of Michigan - Ann Arbor
Master of Computer Science
August 2023 - April 2025
University of Michigan - Ann Arbor
Bachelor of Computer Science
August 2021 - April 2023
Shanghai Jiaotong University
Bachelor of Electrical & Computer Engineering
September 2019 - June 2021