Skip to content

Commit f0a71eb

Browse files
committed
add personal page for syliu
1 parent 2183833 commit f0a71eb

2 files changed

Lines changed: 49 additions & 0 deletions

File tree

content/en/people/syliu.md

Lines changed: 49 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,49 @@
1+
+++
2+
title = 'Siyuan Liu'
3+
date = 2026-05-07T14:27:08+08:00
4+
draft = false
5+
alumni = false
6+
7+
type = 'people'
8+
layout = 'people'
9+
10+
name = 'syliu'
11+
name_cn = '刘思源'
12+
name_en = 'Siyuan Liu'
13+
degree = 'Master Student'
14+
image = '/people/syliu/photo.jpg'
15+
16+
email = '18234991499@163.com'
17+
github = 'liusy1499-eng'
18+
19+
# Verification | Simulation | Synthesis
20+
research_label = ["Verification"]
21+
22+
[[introduction]]
23+
content = "I am a master student at Xi'an Jiaotong University (XJTU), advised by Prof. Peng Zhang."
24+
25+
[[introduction]]
26+
content = "I work on data plane formal verification, focusing on automated correctness checking of network forwarding behaviors to detect potential errors before configuration changes are deployed."
27+
28+
[[research]]
29+
interest = 'Network Verification'
30+
31+
[[education]]
32+
school = "Xi'an Jiaotong University"
33+
major = "School of Computer Science and Technology"
34+
degree = 'Master in Computer Science'
35+
time = '2026.9 - now'
36+
[[education]]
37+
school = 'JiLin University'
38+
major = "School of Computer Science and Technology"
39+
degree = 'B.E. in Computer Science'
40+
time = '2022.9 - 2026.6'
41+
42+
[[practice]]
43+
enterprise = 'Yonyou Auto Information Technology (Shanghai) Co., Ltd.'
44+
work = 'Junior Backend Development Engineer (Intern)'
45+
time = '2025.9 - 2025.12'
46+
47+
48+
49+
+++

static/people/syliu/photo.jpg

468 KB
Loading

0 commit comments

Comments
 (0)