-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathindex.html
More file actions
491 lines (449 loc) · 27.2 KB
/
index.html
File metadata and controls
491 lines (449 loc) · 27.2 KB
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
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>Zhiyang Chen</title>
<link rel="icon" type="image/png" href="images/seal_icon.png">
<!-- Font Awesome for icons -->
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.2.0/css/all.min.css">
<style>
/* Reset & Basic Styles */
* { box-sizing: border-box; margin: 0; padding: 0; }
body {
font-family: Arial, sans-serif;
line-height: 1.6;
background: #f4f4f4;
color: #333;
padding: 0 1rem; /* adds left/right padding to the whole page */
}
a { color: #007acc; text-decoration: underline; }
a:hover { text-decoration: none; }
/* Container for centralized content with padding */
.container {
max-width: 1000px;
margin: 0 auto;
padding: 0 1rem;
}
/* Page Layout with Fixed Sidebar Navigation */
.page-wrapper {
display: flex;
min-height: 100vh;
}
.sidebar {
position: fixed;
top: 0;
left: 0;
width: 240px; /* Increased width for extra sidebar padding */
height: 100vh;
background: #f0f0f0; /* Updated background color */
padding: 1rem 1rem 1rem 2rem; /* Extra left padding (2rem) */
border-right: 1px solid #ccc; /* Slightly softer border color */
overflow-y: auto;
}
.sidebar nav ul {
list-style: none;
padding: 0;
}
.sidebar nav ul li {
margin: 1rem 0;
}
.main-content {
flex: 1;
margin-left: 260px; /* Adjusted to account for increased sidebar width and gap */
padding: 1rem;
}
/* Header */
header { background: #fff; padding: 1rem 0; border-bottom: 1px solid #ddd; }
header h1 { text-align: center; font-size: 2.5rem; margin-bottom: 0.5rem; }
/* Section Styling */
.section { background: #fff; margin: 1rem 0; padding: 1rem; border-radius: 4px; }
.section h2 { margin-bottom: 0.5rem; border-bottom: 2px solid #333; padding-bottom: 0.5rem; }
/* About Section */
#about { display: flex; flex-wrap: wrap; align-items: center; }
#about .profile { flex: 1 1 250px; text-align: center; padding: 1rem; }
#about .profile img { width: 100%; max-width: 250px; border-radius: 50%; }
#about .bio { flex: 2 1 300px; padding: 1rem; }
.contact-links { margin-top: 1rem; text-align: center; }
.contact-links a { margin: 0 0.5rem; }
/* Article Styling */
article { margin-bottom: 1rem; }
article h3 { margin-bottom: 0.25rem; }
/* Publication Items (Links on New Line) */
.publication-item { margin: 1rem 0; }
.publication-item p { margin-bottom: 0.5rem; }
/* Utility classes for icon spacing */
.icon { margin-right: 0.3rem; }
/* Project Items (Undergraduate Research Projects) */
.project-item { display: flex; margin: 1rem 0; align-items: flex-start; }
.project-item img { max-width: 200px; margin-right: 1rem; }
.project-details h3 { margin-top: 0; }
/* Services and Teaching */
.subsection { margin-bottom: 1rem; }
.subsection h3 { border-bottom: none; padding-bottom: 0; margin-bottom: 0.5rem; }
/* Footer */
footer { text-align: center; background: #fff; padding: 1rem 0; border-top: 1px solid #ddd; }
/* Responsive adjustments */
@media (max-width: 768px) {
.page-wrapper { flex-direction: column; }
.sidebar { position: relative; width: 100%; border-right: none; border-bottom: 1px solid #ddd; height: auto; }
.main-content { margin-left: 0; }
}
</style>
</head>
<body>
<header>
<div class="container">
<h1>Zhiyang Chen</h1>
</div>
</header>
<div class="page-wrapper">
<!-- Sidebar Navigation -->
<aside class="sidebar sticky">
<nav>
<ul>
<li><a href="#about">About</a></li>
<li><a href="#news">News</a></li>
<li><a href="#education">Education</a></li>
<li><a href="#publications">Publications</a></li>
<li><a href="#awards">Awards</a></li>
<li><a href="#miscellaneous">Misc</a></li> <!-- Changed label -->
<li><a href="#service">Service</a></li>
<li><a href="#projects">Projects</a></li>
<li><a href="#contact">Contact</a></li>
</ul>
</nav>
</aside>
<!-- Main Content -->
<div class="main-content">
<!-- About Section with name above profile picture -->
<section id="about" class="section">
<div class="container">
<div class="profile">
<img src="images/me.jpg" alt="Profile Photo">
</div>
<div class="bio">
<p>
I am a Ph.D. candidate at the University of Toronto luckily supervised by
<a href="https://www.cs.toronto.edu/~fanl/">Prof. Fan Long</a>. My current research focuses on
program execution with zero-knowledge proofs,
as well as program analysis and synthesis on smart contracts.
I maintain a broad interest in programming languages,
software engineering, security, and cryptography.
</p>
<p>
I also worked as a part-time Research Engineer at
<a href="https://www.zircuit.com/">Zircuit</a> on zkrollups and sequencer-level security,
working with
<a href="https://x.com/dr_zircuit">Dr. Z</a>-<a href="https://www.linkedin.com/in/mderka/">Dr. Martin Derka</a>.
and <a href="https://scholar.google.ca/citations?user=SmADsX8AAAAJ&hl=en">Dr. Jan Gorzny</a>.
Prior to that, I also worked at
<a href="https://quantstamp.com/team">Quantstamp</a> on smart contract auditing
and automated vulnerability detection.
</p>
<p>
Earlier in my graduate studies, I was mentored by
<a href="https://www.comp.nus.edu.sg/~umathur/">Prof. Umang Mathur</a> in the PLMW program.
Prior to that, I was advised by
<a href="https://web.eecs.umich.edu/~xwangsd/">Prof. Xinyu Wang</a> at the University of Michigan
on several regular expression program synthesis projects, as well as by
<a href="https://www.umtri.umich.edu/people/green-paul-a/">Prof. Paul A. Green</a> on
driving simulator projects.
</p>
<p class="contact-links">
<a href="mailto:zhiychen@cs.toronto.edu"><i class="fas fa-envelope icon"></i>Email</a> /
<a href="https://github.com/jeffchen006/"><i class="fab fa-github icon"></i>Github</a> /
<a href="https://twitter.com/zhiychen"><i class="fab fa-twitter icon"></i>Twitter</a> /
<a href="https://scholar.google.com/citations?user=t4kgTJkAAAAJ&hl=en&oi=ao"><i class="fas fa-graduation-cap icon"></i>Scholar</a>
</p>
</div>
</div>
</section>
<!-- News Section -->
<section id="news" class="section">
<div class="container">
<h2>News</h2>
<article class="news-item">
<p><strong>Oct 2025:</strong> Our paper has been accepted to ICSE 2026—see you in Rio!</p>
</article>
<article class="news-item">
<p><strong>Oct 2025:</strong> Thrilled to attend OOPSLA 2025 for the Doctoral Symposium talk on “A Multi-Layer Dynamic Security Framework for DeFi Smart Contracts” and to serve as Session Chair coordinating the Sponsor Industry Forum.</p>
</article>
<article class="news-item">
<p><strong>May 2025:</strong> Attended ICSE 2025 and was thrilled to present our paper on "<em>A Methodology for Replicating Historical Exploits on EVM-Compatible Blockchains</em>".</p>
</article>
<article class="news-item">
<p><strong>March 2025:</strong> Our paper "<em>Sequencer Level Security</em>" has been accepted as a poster at ICBC 2025! See you in Rome - this technique is one of the main innovations behind Zircuit.</p>
</article>
<article class="news-item">
<p><strong>March 2025:</strong> Attended ETH Denver as a hackathon judge and company booth presenter. Super excited to chat with industrial experts! [<a href="https://x.com/ZircuitL2/status/1896942196194263146"><i class="fab fa-twitter icon"></i>Tweet</a>]</p>
</article>
<article class="news-item">
<p><strong>March 2025:</strong> Attended SANER 2025 and was thrilled to present our paper on "<em>Instrumenting Transaction Trace Properties in Smart Contracts: Extending EVM for Real-Time Security</em>".</p>
</article>
<article class="news-item">
<p><strong>Feb 2025:</strong> Zircuit's roadmap for 2025 was released: two of my papers have been integrated and will be the focus. Read more: <a href="https://www.zircuit.com/blog/zircuit-technical-roadmap-part-ii-scaling-securely">Zircuit Technical Roadmap Part II: Scaling Securely</a></p>
</article>
<article class="news-item">
<p><strong>Jan 2025:</strong> Our paper "<em>Instrumenting Transaction Trace Properties in Smart Contracts: Extending EVM for Real-Time Security</em>" has been accepted for publication at SANER-IWBOSE 2025. See you in Montreal!</p>
</article>
<article class="news-item">
<p><strong>Dec 2024:</strong> Our paper "<em>A Methodology for Replicating Historical Exploits on EVM-Compatible Blockchains</em>" has been accepted for publication at ICSE-WETSEB 2025. See you in Ottawa!</p>
</article>
</div>
</section>
<!-- Education Section -->
<section id="education" class="section">
<div class="container">
<h2>Education</h2>
<article>
<h3>University of Toronto</h3>
<p>PhD in Computer Science, 2026 (Expected)</p>
<p>Advisor: <a href="https://www.cs.toronto.edu/~fanl/">Prof. Fan Long</a></p>
</article>
<article>
<h3>University of Michigan, Ann Arbor</h3>
<p>Bachelor of Engineering in Computer Science, minor in Mathematics, Summa Cum Laude, Sept 2019 - May 2021</p>
<p>Advisor: <a href="https://web.eecs.umich.edu/~xwangsd/">Prof. Xinyu Wang</a></p>
</article>
<article>
<h3>Shanghai Jiao Tong University</h3>
<p>Bachelor of Science in Electrical and Computer Engineering, minor in <a href="https://www.ji.sjtu.edu.cn/academics/undergraduate-program/degrees-programs/minor-in-entrepreneurship/">Entrepreneurship</a>, Sept 2017 - Aug 2021</p>
</article>
</div>
</section>
<!-- Publications Section -->
<section id="publications" class="section">
<div class="container">
<h2>Publications</h2>
<h3>Academia</h3>
<div class="publication-item">
<p>
<strong>Zhiyang Chen</strong>, Sidi Mohamed Beillahi, Pasha Barahimi, Cyrus Minwalla, Han Du, Andreas Veneris, Fan Long, “Secure Smart Contract with Control Flow Integrity”, International Conference on Software Engineering (ICSE), 2026.
</p>
<p>
[<a href="https://arxiv.org/pdf/2504.05509" target="_blank"><i class="fas fa-file-pdf icon"></i>paper</a>]
</p>
</div>
<div class="publication-item">
<p>
<strong>Zhiyang Chen</strong>, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long, “OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond” (ASE 2024 Tool Demonstrations)
</p>
<p>
[<a href="https://arxiv.org/pdf/2407.10039" target="_blank"><i class="fas fa-file-pdf icon"></i>paper</a>]
[<a href="https://github.com/jeffchen006/OpenTracer" target="_blank"><i class="fab fa-github icon"></i>artifact</a>]
[<a href="https://docs.google.com/presentation/d/1Yk7Y0bfB5W0gGtZlS6wFEOfOOKlgXSmasgPuoqhUj7Q/edit?usp=sharingr" target="_blank"><i class="fab fa-slideshare icon"></i>slides</a>]
[<a href="https://www.youtube.com/watch?v=vTdmjWdYd30" target="_blank"><i class="fab fa-youtube icon"></i>video</a>]
</p>
</div>
<div class="publication-item">
<p>
<strong>Zhiyang Chen</strong>, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long, “Demystifying Invariant Effectiveness for Securing Smart Contracts” (FSE 2024)
</p>
<p>
[<a href="pdfs/trace2inv-fse24.pdf" target="_blank"><i class="fas fa-file-pdf icon"></i>paper</a>]
[<a href="https://arxiv.org/pdf/2404.14580.pdf" target="_blank"><i class="fas fa-file-pdf icon"></i>extended paper</a>]
[<a href="https://github.com/jeffchen006/Trace2Inv-Artifact-FSE24" target="_blank"><i class="fab fa-github icon"></i>artifact</a>]
[<a href="https://github.com/Trace2Inv-Artifact/Trace2Inv-Benchmarks" target="_blank"><i class="fab fa-github icon"></i>benchmarks</a>]
[<a href="https://github.com/Trace2Inv-Artifact/Trace2Inv-Invariant-Study-FSE24" target="_blank"><i class="fab fa-github icon"></i>invariant study results</a>]
[<a href="https://docs.google.com/presentation/d/16phJQ7H_aOX01QDOme2_mceOUrVOIc4kfXcolijDlNE/edit#slide=id.p" target="_blank"><i class="fab fa-slideshare icon"></i>slides</a>]
[<a href="https://docs.google.com/presentation/d/139etymRy-Xnq3e6jFXtxQbpixIquZO9aBbuMCg4rX7Q/edit?usp=sharing" target="_blank"><i class="fas fa-file-alt icon"></i>poster</a>]
</p>
</div>
<div class="publication-item">
<p>
<strong>Zhiyang Chen</strong>, Sidi Mohamed Beillahi, Fan Long, “FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation” (ICSE 2024)
</p>
<p>
[<a href="pdfs/flashsyn-icse24.pdf" target="_blank"><i class="fas fa-file-pdf icon"></i>paper</a>]
[<a href="https://arxiv.org/pdf/2206.10708.pdf" target="_blank"><i class="fas fa-file-pdf icon"></i>extended paper</a>]
[<a href="https://github.com/FlashSyn-Artifact/FlashSyn-Artifact-ICSE24" target="_blank"><i class="fab fa-github icon"></i>artifact</a>]
[<a href="https://docs.google.com/presentation/d/1438qvhgIPhh39PQ-6oOEgG9lkPsuDI0Jo9hNRMxOe4U/edit?usp=sharing" target="_blank"><i class="fab fa-slideshare icon"></i>slides</a>]
</p>
</div>
<div class="publication-item">
<p>
Tianyi Zhang, <strong>Zhiyang Chen</strong>, Yuanli Zhu, Priyan Vaithilingam, Xinyu Wang, Elena L. Glassman, “Interpretable Program Synthesis”, Proceedings of CHI 2021
</p>
<p>
[<a href="pdfs/CHI2021.pdf" target="_blank"><i class="fas fa-file-pdf icon"></i>paper</a>]
[<a href="https://www.youtube.com/watch?v=biUQi0GW6jc" target="_blank"><i class="fab fa-youtube icon"></i>preview</a>]
[<a href="https://www.youtube.com/watch?v=v5scz1bzQN8&ab_channel=ACMSIGCHI" target="_blank"><i class="fab fa-youtube icon"></i>video</a>]
[<a href="https://github.com/tianyi-zhang/interactive-program-synthesis" target="_blank"><i class="fab fa-github icon"></i>artifact</a>]
</p>
</div>
<h3>Industry</h3>
<div class="publication-item">
<p>
Martin Derka, Jan Gorzny, Diego Siqueira, Donato Pellegrino, Marius Guggenmos, <strong>Zhiyang Chen</strong>, “Sequencer Level Security”, IEEE International Conference on Blockchain and Cryptocurrency (ICBC 2025 Poster)
</p>
<p>
[<a href="https://arxiv.org/pdf/2405.01819.pdf" target="_blank"><i class="fas fa-file-pdf icon"></i>paper</a>]
</p>
</div>
<div class="publication-item">
<p>
<strong>Zhiyang Chen</strong>, Phillip Kemper, Yi Liu, Jan Gorzny, Diego Siqueira, Yuekang Li, Donato Pellegrino, and Martin Derka, “A Methodology for Replicating Historical Exploits on EVM-Compatible Blockchains”, 7th International Workshop on Emerging Trends in Software Engineering for Blockchain (ICSE-WETSEB 2025)
</p>
<p>
[<a href="pdfs/forking-ICSE25-WETSEB.pdf" target="_blank"><i class="fas fa-file-pdf icon"></i>paper</a>]
[<a href="https://docs.google.com/presentation/d/1F2A_BhhckNuAVwoIWbLu--pdJet9SVuJDSkxII47fpE/edit?usp=sharing" target="_blank"><i class="fab fa-slideshare icon"></i>slides</a>]
</p>
</div>
<div class="publication-item">
<p>
<strong>Zhiyang Chen</strong>, Jan Gorzny, Martin Derka, “Instrumenting Transaction Trace Properties in Smart Contracts: Extending EVM for Real-Time Security”, 8th International Workshop on Blockchain-Oriented Software Engineering (SANER-IWBOSE 2025)
</p>
<p>
[<a href="https://arxiv.org/pdf/2408.14621.pdf" target="_blank"><i class="fas fa-file-pdf icon"></i>paper</a>]
[<a href="https://docs.google.com/presentation/d/1XFTit5HP2ooUzCH0Sibv7VtGh_UNFGQrk66m6Uauflo/edit?usp=sharing" target="_blank"><i class="fab fa-slideshare icon"></i>slides</a>]
</p>
</div>
</div>
</section>
<!-- Awards Section -->
<section id="awards" class="section">
<div class="container">
<h2>Awards & Grants</h2>
<ul>
<li>ACM SIGSOFT CAPS Travel Grant, ACM SIGSOFT CAPS, 2024</li>
<li>DCS Travel Grant, University of Toronto, 2024</li>
<li>Bell Graduate Scholarship, 2024</li>
<li>Mitacs Accelerate Fellowship with Bank of Canada, 2023-2024</li>
<li>Co-author of Ethereum Foundation Grant FY23-0882 (<a href="https://github.com/quantstamp/l2-block-explorer-api" target="_blank"><i class="fab fa-github icon"></i>Back-End API Standard for L2 Block Explorers</a>), 2023</li>
<li>Smart Contract Research Forum Grant, 2022 </li>
<li>The Wolfond Scholarship in Wireless Information Technology, 2021</li>
<li>Outstanding graduate of Shanghai Jiao Tong University, 2021</li>
<li>James B. Angell Scholar, UMich, 2021</li>
</ul>
</div>
</section>
<!-- Service Section (Services and Teaching) -->
<section id="service" class="section">
<div class="container">
<h2>Services & Teaching</h2>
<!-- Paper Review Services -->
<div class="subsection">
<h3>Paper Review Services</h3>
<ul>
<li>Shadow PC member, International Conference on Software Engineering(ICSE 2026) <span style="float:right; font-style: italic;">2025</span></li>
<li>Reviewer, Automated Software Engineering (Springer) <span style="float:right; font-style: italic;">2025</span></li>
<li>Reviewer, IEEE Transactions on Software Engineering (TSE) <span style="float:right; font-style: italic;">2025</span></li>
<li>Reviewer, ACM Transactions on Software Engineering and Methodology (TOSEM) <span style="float:right; font-style: italic;">2025</span></li>
<li>Junior PC Member, The Mining Software Repositories (MSR) <span style="float:right; font-style: italic;">2025</span></li>
<li>Reviewer, IEEE Transactions on Network and Service Management (TNSM) <span style="float:right; font-style: italic;">2024, 2025</span></li>
<li>Sub-reviewer, FSE 2023, ICSE 2024, ASE 2024 <span style="float:right; font-style: italic;">2022–2023</span></li>
</ul>
</div>
<!-- Artifact Evaluation Services -->
<div class="subsection">
<h3>Artifact Evaluation Services</h3>
<ul>
<li>Artifact Evaluation PC Member, SOSP 2025 <span style="float:right; font-style: italic;">2025</span></li>
<li>Artifact Evaluation PC Member, CAV 2025 <span style="float:right; font-style: italic;">2025</span></li>
<li>Artifact Evaluation PC Member, ICSE 2025 <span style="float:right; font-style: italic;">2025</span></li>
<li>Artifact Evaluation PC Member, PLDI 2024 <span style="float:right; font-style: italic;">2024</span></li>
</ul>
</div>
<!-- Other Service Roles -->
<div class="subsection">
<h3>Other Service Roles</h3>
<ul>
<li>Session Chair, Sponsor Industry Forum @ ICFP/SPLASH 2025, Singapore <span style="float:right; font-style: italic;">2025</span></li>
<li>Hackathon Judge, ETHDenver, Denver, Colorado, United States <span style="float:right; font-style: italic;">2025</span></li>
<li>Student Volunteer (Remote), OOPSLA 2022 <span style="float:right; font-style: italic;">2022</span></li>
<li>Tau Beta Phi–Michigan Gamma, elected Nov 2020 (K–12 & professional activities) <span style="float:right; font-style: italic;">2020</span></li>
</ul>
</div>
<!-- Teaching -->
<div class="subsection">
<h3>Teaching</h3>
<ul>
<li>TA of CSC2125: Topics in Software Engineering: Blockchain Technology & Engineering, UofT <span style="float:right; font-style: italic;">Fall 2025</span></li>
<li>Head TA of CSC488/2107: Compilers and Interpreters, UofT <span style="float:right; font-style: italic;">Winter 2023</span></li>
<li>TA of CSC373: Algorithm Design, Analysis & Complexity, UofT <span style="float:right; font-style: italic;">Fall 2022</span></li>
<li>TA of CSC263: Data Structures and Analysis, UofT <span style="float:right; font-style: italic;">Winter 2022</span></li>
<li>TA of CSC108: Introduction to Computer Programming, UofT <span style="float:right; font-style: italic;">Fall 2021</span></li>
<li>Grader of MATH 450 Advanced Mathematics for Engineers I, UMich <span style="float:right; font-style: italic;">Winter 2021</span></li>
<li>Grader of MATH 214 Linear Algebra, UMich <span style="float:right; font-style: italic;">Fall 2020</span></li>
</ul>
</div>
</div>
</section>
<!-- Miscellaneous Section -->
<section id="miscellaneous" class="section">
<div class="container">
<h2>Miscellaneous</h2>
<ul>
<li><em>Update (2025/03): I roughly discovered my current research taste - “dig deep enough, the novelty just comes out naturally.”</em></li>
<li><em>My signature tagline: “I'm a dreamer, but I'm also practical enough to version control it.”</em></li>
<li><em>I volunteer at the <a href="https://www.torontocatrescue.ca/" target="_blank">Toronto Cat Rescue</a>, where I help foster cats at home, 2025</em></li>
<li><em>Pirates of the Caribbean is my favorite movie. I try to learn how to become a <a href="https://www.youtube.com/watch?v=T0fAznO1wA8">Pirate.</a></em></li>
<li><em>I'm not religious, but I'm an <a href="https://www.youtube.com/watch?v=0AtTM9hgCDw&t=1s" target="_blank">afterlife</a> believer: people will either reunite with their deceased loved ones in another world or return back to this world in another form.</em></li>
<li>
<details>
<summary><em>Former volunteer at the <a href="https://fyfb.com/" target="_blank">Toronto Fort York Food Bank</a></em></summary>
<em>I previously helped distribute free food to people in trouble (2024-2025) and am no longer active on this duty.</em>
</details>
</li>
<li>
<details>
<summary><em>(2024/08) I started investigating the 'philosophy' in my Doctor of Philosophy program.</em></summary>
<em>(2025/10)I now see philosophy as a way to understand ourselves and the world, and
what excites me most is turning that insight into changes;
engineering and science share that mission and can even reshape who
we are and how the world works.</em>
</details>
</li>
</ul>
</div>
</section>
<!-- Projects Section -->
<section id="projects" class="section">
<div class="container">
<h2>Finished Undergraduate Research Projects</h2>
<details>
<summary style="cursor: pointer; font-weight: bold; margin-bottom: 1rem;">Click to Expand Projects</summary>
<div class="project-item">
<img src="images/figure_queries.png" alt="Accelerate RegEx Synthesis">
<div class="project-details">
<h3>Accelerate Regular Expression Synthesis via Subexpression Queries</h3>
<p><em>Individual research project of EECS499</em></p>
<p>with Prof. <a href="https://web.eecs.umich.edu/~xwangsd/">Xinyu Wang</a></p>
<p>[<a href="pdfs/ZhiyangChen_EECS499_report.pdf" target="_blank"><i class="fas fa-file-pdf icon"></i>report</a>]</p>
<p>This project proposes an algorithm to synthesize the most probable sub-expressions of a ground-truth regular expression based on input–output examples and evaluates the effectiveness of subexpression queries.</p>
</div>
</div>
<div class="project-item">
<img src="images/whitebox.png" alt="Interpretable Program Synthesis">
<div class="project-details">
<h3>Interpretable Program Synthesis</h3>
<p><em>CHI '21: Proceedings of the 2021 Conference on Human Factors in Computing Systems</em></p>
<p>with <a href="https://tianyi-zhang.github.io/">Tianyi Zhang</a>, <a href="https://web.eecs.umich.edu/~xwangsd/">Xinyu Wang</a>, <a href="https://glassmanlab.seas.harvard.edu/">Elena Glassman</a></p>
<p>[<a href="pdfs/CHI2021.pdf" target="_blank"><i class="fas fa-file-pdf icon"></i>pdf</a>] [<a href="https://www.youtube.com/watch?v=biUQi0GW6jc" target="_blank"><i class="fab fa-youtube icon"></i>video</a>] [<a href="https://github.com/tianyi-zhang/interactive-program-synthesis" target="_blank"><i class="fab fa-github icon"></i>code</a>]</p>
<p>This work unveils the synthesis process by providing representations that explain and let users guide the program synthesis with varying levels of detail.</p>
</div>
</div>
<div class="project-item">
<img src="images/car.png" alt="Driving Simulator">
<div class="project-details">
<h3>Real-Time and Virtual Driving Simulator</h3>
<p><em>Project of Multidisciplinary Design Program</em></p>
<p>with Prof. <a href="http://www.umich.edu/~driving/staff/staff.html">Paul Green</a></p>
<p>[<a href="https://drive.google.com/file/d/1gfHyfdvE686qpgVA6es7aHM2WHWieAP-/view?usp=sharing" target="_blank"><i class="fas fa-file-pdf icon"></i>2-min presentation slides</a>] [<a href="https://github.com/CenturyLiu/Carla-GUI" target="_blank"><i class="fab fa-github icon"></i>code</a>]</p>
<p>This project presents a GUI tool designed to assist researchers in conducting traffic experiments using the CARLA real-time driving simulator.</p>
</div>
</div>
</details>
</div>
</section>
<!-- Footer / Contact -->
<footer id="contact">
<div class="container">
<p>© 2025 Zhiyang Chen</p>
</div>
</footer>
</div>
</div>
</body>
</html>