Work:
University of California,
Graduate Student Researcher
NASA Ames Research Center - Moffett Field, CA
Intern Student
NASA Ames Research Center - Moffett Field, CA
Intern Student
National Institute of Aerospace - Hampton, VA
Visiting Graduate Student
Institute of Computing Technology, CAS
Research Assistant
Education:
University of California - Riverside, CA
Ph.D. expected graduation in 2013 in Computer Science
Institute of Computing Technology, Chinese Academy of Sciences
M.S. in Computer Science
Peking University
B.S. in Electrical Engineering
Skills:
Formal Verification of Software/Hardware Systems, C++/C, Object-oriented Programming, Algorithm design and analysis, RTL design, Verilog, SystemVerilog