Zicheng Ma

A carbon-based life living on a blue planet.๐ŸŒ A man can not live without coffeeโ˜•๏ธ.
Previous researcher at x-lab. Supervised by Tianyin Xu, a watchman in the cornfields.
Previous Intern in Microsoft Research Asia DKI group mentored by Shilin He.
Going to chase Master degree at Harvard in Fall 24.
Open to SWE intern opportunities.

prof_pic.jpg

Urbana,IL,US

Shenzhen,Guangdong,China

$ ls my_info

Hello there!๐Ÿ‘‹

My name is Zicheng Ma and I am an undergraduate student at ZJUI. My major is Computer Engineering and I am a senior student right now. In the Fall 24, I will go to Harvard to chase my master degree in Computational Science Engineering program.

Previously, I worked in UIUC x-lab with Xudong Sun. We are trying to build an verifiable controller framework Anvil. And our work has been accepted by OSDI 24 !!๐Ÿฅณ

From August 2023 to Feburary 2024, I worked in Microsoft DKI group as an intern. My time at MSRA provided me with valuable insights into ML for Sys, HPC, AIOps, and the significance of robust cloud services. The experience awakened and strengthened my awareness of the critical role that a stable and an efficient system play in handling large-scale enterprise data.

$ cat interest

My research interest is Distributed System, System reliability and Cloud Native. Checkout the Anvil project above to get more information. I believe that stable and efficient distributed systems are meaningful to the world and distributed system itself will never become an outdated topic.๐Ÿ˜Ž

Beside my research interest, I am a deep coffee lover.โ˜•๏ธ Drinking and brewing coffee has become an unattainable part of my life. I love drinking pour-our coffee and prefer light roast coffee with good acidity and cleanliness. Every time I taste those wonderful flavors in coffee, such as jasmine, citrus, strawberry, etc., I feel a sense of happiness.

Whether you are interested in my scientific research or my coffee life, please feel free to contact me, I am looking forward to meeting more like-minded friends.

$ echo $my_honor

I have won three times of National Scholarship, an award bestowed upon only top 0.2% of Chinese university students, which is the highest honor a Chinese student can achieve. Additionally, I was recognized as a Finalist in the United States Mathematical Modeling Competition awarded to just 1% of participating teams worldwide. Beisdes, I have earned either the first-tier scholarships at my university, indicative of my consistent academic excellence and GPA ranking within the top one.

news

Sep 15, 2023 Start to work as CS 101 Teaching Assitant in ZJUI. I hope to have a great semester with my students!
Aug 1, 2023 I am happy to share that I start to work in MSRA DKI Group with Shilin He on ML for sys topic! ๐Ÿฑโ€๐Ÿ’ป
Apr 10, 2023 Join X-Lab at UIUC and start to work on a verifiable k8s controller project - Anvil.

latest posts

Mar 26, 2023 k8s operator practice
Jan 20, 2023 CrimeMap
Jan 17, 2023 ZinixOS