University of Rochester
Computer Science Department
Wegmans Hall 3207
5857057498
I am not a Professor at University of Rochester. In 2023, I am a first-year PhD student in URCS, advised by Sreepathi Pai. I got my B.E in CS at CUHKSZ. Generally speaking, I am interested in providing correctness guarantee for software. It led me to enter the fields of software verification, software testing, program synthesis, etc.
To the best of my knowledge, I have not yet published any paper.
I want to share two poems with you. Now is the moment when I exist in your mind.
The first is about life, which is written in Chinese. It is beyond my ability to translate the whole poem without ruining it. My favorite is the line, "The world is just a place name, so is my home."
《赶时间的人》
从空气里赶出风
从风里赶出刀子
从骨头里赶出火
从火里赶出水
赶时间的人没有四季
只有一站和下一站
世界是一个地名
王庄村也是
每天我都能遇到
一个个飞奔的外卖员
用双脚锤击大地
在这个人间不断地淬火
----- 王计兵
The other is about ourselves from the last moment to the next moment.
The Street
Here is a long and silent street.
I walk in blackness and I stumble and fall
and rise, and I walk blind, my feet
trampling the silent stones and the dry leaves.
Someone behind me also tramples, stones, leaves:
if I slow down, he slows;
if I run, he runs
I turn :
nobody.
Everything dark and doorless, only my steps aware of me, I turning and turning among these corners which leads forever to the street where nobody waits for, nobody follows me, where I pursue a man who stumbles and rises and says when he sees me: nobody.
------- Octavio Paz