Yang Zhang
About Me
I'm a Ph.D candidate in the USTC-Yale Joint Research Center on High-Confidence Software of Computer Science Department,USTC. My advisor is Prof. Xinyu Feng
Currently, I'm working on the project, Memory Consistency Models, If you have any questions, please
Contact Me
To get my email? Please run the following shell script:
echo "huahuax {at} mail_ustc_edu_cn" | sed -e 's/_/\./g' \
-e 's/\s*{at}\s*/@/'