Currently I work as a Test Development Engineer at Tencent. I was a M.Phil (PhD->M.Phil) student in the CSE department of HKUST from 2018 to 2021. My M.Phil thesis can be accessed here: Thesis: Duplicate-sensitivity Guided Transformation Synthesis for DBMS Correctness Bug Detection.

To learn more about my experience, please visit my github profile.

If you find any error on this website, please do not hesitate to shoot an email to zhangysh1995@gmail.com.