About Me

I’m Shiran Zhang (张石然 in Chinese), currently a senior undergraduate student in Peking University (PKU), majoring in Computer Science and Philosophy. I’m expected to graduate in 2021.

Education

Peking University, Beijing, China (Sep. 2017 - Jun. 2021)

• Bachelor of Science (B.S.), Computer Science
• Department of Computer Science and Technology
• School of Electronics Engineering and Computer Science (EECS)

Peking University (Second Major), Beijing, China (Sep. 2019 - Jun. 2021)

• Bachelor of Philosophy (B.P.), Philosophy
• Department of Philosophy and Religious Studies

Experience

Software Engineering Institute, Peking University, Beijing, China (Feb. 2019 - present)
Research Intern, Program Languages Lab

• Automated Patched Porting across Forked Projects
• Inferring Program Transformations From Singular Examples via Big Code

Alibaba Cloud Computing Company, Hangzhou, China (Jul. 2020 - Sep. 2020)
Software Development Engineer Intern, Enterprise Mobile Application Studio (EMAS)

• Removed Object Storage Service during scaffold generation on DevOps Private Cloud
• Integrated monitoring capability in pipeline construction on DevOps Public Cloud

Hobbies

• Member of University Curling Team (Feb. 2021 - present)
• President of May 4th Literature Society, Peking University (Sep. 2020 - present)
• Member of University Women’s Basketball Team (Sep. 2018 - present)
• Captain of School Women’s Basketball Team (Sep. 2018 - Aug. 2019)

Archives

Computer Science

2020-10 阅读笔记：Prometheus监控实战 [NOTE]

Philosophy

2019-11 民间信仰的流变与神灵的多元性——以金泽镇诸神信仰为例 [PDF]

Poetry & Prose

2020-11 月亮 [LINK]

2020-08 雨 [LINK]

2020-07 夜话密合 [LINK]

2020-03 暗物 [LINK]

2019-09 简单快乐 [LINK]