Hello everyone, and welcome to my personal website. 

        I am a second year Ph.D student at the University of Maryland, College Park. Under the advice of Professor Xiaodi Wu, my current research focuses on verification of quantum programming languages. In my master's study I worked on complexity analysis of the chemical reaction networks model, advised by Professor David Doty. If interested, please see the Projects page for a list of publications to which I have contributed.

       Should you have any comments, please feel free to contact me via szhu@terpmail.umd.edu.