Tiancheng (Alex) Zhao
 |
Tiancheng (Alex) Zhao |
About me
I am currently a CS Master student at Georgia Tech , specializing in computer system and high performance computing. Before I moving to United States, I obtained my Honored Bachelor Degree from Shandong University and spent a year at Hong Kong University of Science and Technology as a research postgrduate student focusing on code conprehension and regeneration.
My research instests lies in System / HPC / Parallel Computing / ML System and I am very passionate about various acceleration technologies.
I am very fortunate to be advised by Dr. Helen Xu, Dr. Jiasi Shen, and Prof. Weiguo Liu and worked with Dr. Xin He and Dr. Chaojian Li. They have set an example for me as a researcher —— always doing interesting things, pursuing own interests and sticking to them.
Education
| Georgia Institute of Technology, M.S. Computer Science (Computer System) | Atlanta, GA, USA, 2024 - 2026 |
| Shandong University, B.Eng. (Honors) Data Science & Big Data Technology | Jinan, China, 2019 - 2023 |
| The University of Hong Kong, Exchange Undergraduate | Hong Kong SAR, 2022 Spring |
Experieces
| Tencent, WeChat HPC Group, R&D Intern | Shenzhen, China, 2026/05 - 2026/08 |
| A*STAR, Student Researcher | Singapore, 2025/08 - 2026/01 |
| Xpeng, Software Development Intern | Santa Clara, CA, USA, 2025/06 - 2025/08 |
| HKUST, Research Postgrduate Student | Hong Kong SAR, 2023/09 - 2024/08 |
| CUHK, Research Assistant | Remote, 2022/02 - 2022/07 |
Publications and Thesis
- OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification
[pdf]
Shangyu Li, Juyong Jiang, Tiancheng Zhao, Jiasi Shen
AAAI, 2026 -
pdGRASS: A Fast Parallel Density-Aware Algorithm for Graph Spectral Sparsification
[pdf]
Tiancheng Zhao, Zekun Yin, Huihai An, Xiaoyu Yang, Zhou Jin, Jiasi Shen, Helen Xu
IEEE HPEC, 2025 (Best Student Paper Award) - ifDEEPre: large protein language-based deep learning enables interpretable and fast predictions of enzyme commission numbers
[html]
Qingxiong Tan, Jin Xiao, Jiayang Chen, Yixuan Wang, Zeliang Zhang, Tiancheng Zhao, Yu Li
Briefing in Bioinformatics, 2024 - LLM Agent Memory: A Survey from a Unified Representation–Management Perspective
[pdf]
Zhenheng Tang, Xin He, Tiancheng Zhao, et. al
Preprint, 2026
Honors
Best Student Paper Award, HPEC 2025
Outstanding Graduate of Shandong Province (Top 3%), Government of Shandong Province, 2023
HPC China22: ACM/AMD International Parallel Computing Challenge, Second Prize (2/100+), 2022
HPC China22: The 10th "Intel Cup" Parallel Application Challenge, Third Prize (4/100+), 2022
Blizzard-Hearthstone Collegiate League 2022 (Jinan Station), 2nd Place for Battlegrounds, 2022
ASC22 Student Supercomputer Challenge, Second Prize, 2022
National Scholarship, Ministry of Education of PRC, 2021
ICPC China Provincial Programming Contest(Shandong), Gold Medal, 2021
Teaching Assistant
| CSE8803 High Performance Algorithm Engineering | Georgia Tech, 2026 Spring |
| CSE6220 High Performance Computing | Georgia Tech, 2025 Spring |
| COMP2711 Discrete Mathematical Tools for Computer Science | HKUST, 2024 Spring |