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
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.