I have done my PhD thesis -- Formal Equivalence Checking of Software Specifications vs. Hardware Implementations. Here is the abstract. I presented my master thesis with the topic Automatic Formal Verification for Scheduled VLIW Code. The above theses are under the supervision of Alan J. Hu. Before came to UBC, I got a master degree of Computer Engineering at Institute of Computing Technology, Chinese Academy of Sciences with the thesis title --- A Dynamic Routing Scheme in Networks. I give a novel routing scheme which has better routing performance and provides extra fault-tolerance ability.

I'm also interested and have experience in DSP high-performance computing, PCB design, and task scheduling.