Echoscd.github.io/index.html at main · Echoscd/Echoscd.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
<!DOCTYPE html>
<!-- saved from url=(0058)file:///F:/iStudy/X/PhD_SPDE/ChendongSONG_Homepage/index.html -->
<html><head>
	<meta http-equiv="content-type" content="text/html; charset=UTF-8" >

	<title>Chendong Song</title>

	<meta name="description" content="website description">

	<meta name="keywords" content="website keywords, website keywords">


	<link rel="stylesheet" type="text/css" href="./style/style.css">

</head>


<body>

	<div id="main">

	<div id="header">

	<div id="logo">

	<div id="logo_text">

		<!-- class="logo_colour", allows you to change the colour of the text -->

		<h1><a href="index.html"><span class="logo_colour">Chendong Song <font size=6 >(宋晨东)</font></span></a></h1>

	</div>
      	</div>

	<div id="menubar">

		<ul id="menu">

		<!-- put class="selected" in the li tag for the selected page - to highlight which page you're on -->

		<li class="selected"><a href="index.html">Home</a></li>

		<li><a href="biography.html">Biography</a></li>

		<li><a href="research.html">Research</a></li>

		<li><a href="gallery.html">Gallery</a></li>

		</ul>

	</div>

	</div>

	<div id="site_content">

	<div id="sidebar_container">

		<div class="sidebar">


	<img src="photo.jpg" width="222" height="333">

  	<p align="center">2025.6 @ 清华园 </p>


	</div>


	</div>

	<div id="content">

	<h2>Welcome to Chendong Song's homepage.</h2>

	<p>
	I've recently graduated from <a href="https://www.zlc.tsinghua.edu.cn/", class="class2">Zhili College</a>, <a href="https://www.tsinghua.edu.cn/", class="class2">Tsinghua University</a> with a Bachelor's degree in Mathematics. I am currently a Research Assistant at <a href="https://ieda.ust.hk/", class="class2">HKUST IEDA</a>, mentored by <a href="https://sites.google.com/view/zijiezhou/",class="class2">Zijie Zhou</a>, and will continue as a PhD student there in 26 Fall.</p>

	<p> My <a href="research.html", class="class2">research</a> interests lie at the intersection of artificial intelligence and mathematics, spanning both AI for Mathematics (AI4Math) and Mathematics for AI (Math4AI).</p>

	<p>In the domain of AI4Math, my past work includes research on the axiomatic systems and symbolic engines for plane geometry—an area inspired by projects such as AlphaGeometry. I have also worked on formalizing geometric problem solving in Lean4, exploring how symbolic reasoning and structured representations can help bridge human-intuitive geometric reasoning. Moreover, I am interested in applying reinforcement learning to train agents capable of solving formal mathematical problems in Lean4.</p>

	<p>On the Math4AI side, my research focuses on theoretical optimization of large language model (LLM) inference systems. In particular, I study how probabilistic modeling and combinatorial optimization can be applied to key problems in LLM serving, such as optimal resource provisioning in disaggregated architectures and load balancing in barrier-synchronized decoding systems.</p>

	<p>Looking ahead, I am eager to explore algorithm-system codesign for LLM inference acceleration, including parallel decoding strategies, operator-level optimization, and efficient scheduling across heterogeneous hardware. I hope to bridge the gap between theoretical insights and practical system implementation, developing principled yet deployable solutions that push the efficiency frontier of large-scale model serving.</p>

	<p>Here is my <a href="CV_EN.pdf" class="class2", target="_blank">CV</a> (<a href="CV_CN.pdf" class="class2", target="_blank"> in Chinese </a>).</p>
	<h4>Contact</h4>

	<u2>

		<li><strong>E-mail: </strong>songcd1212 at gmail dot com</li>

	</u2>
	</div>
	</div>


</div></body></html>