Picture of Daofu Liu Daofu Liu(刘道福)
MSc, PhD Candidate in Computer Science
Institute of Computing Technology
Chinese Academy of Sciences
Institute of Computing Technology
No.6 Kexueyuan South Road Zhongguancun
Haidian District Beijing,P.R.China  100190
Turn on Javascript to see email address.

About me

Currently, I am a PhD Candidate at the the Institute of Computing Technology(ICT)  of Chinese Academy of Sciences(CAS). Before that, I got my Bachelor's degree in Computer Science at University of Science and Technology of China(USTC) in July 2010.

I am in the the Microprocessor Technology Research Center of ICT, and do some design and verification work on Loongson,  which is a family of general-purpose MIPS-compatible CPUs.

My research interests are Computer Architecture and Formal verification(especial Model Checking).And I am also very interested in Parallel Computing,especial doing reaseachs(design, verification etc.) in parallel computing hardware like Graphics Processing Unit(GPU).


MSc, PhD Candidate in Computer Science, Institute of Computing Technology 2010-Present
B.Eng. Computer Science, University of Science and Technology of China 2006-2010


  • Daofu Liu, Qi Guo, Tianshi Chen, Ling Li, and Yunji Chen, " Performance Prediction for Reconfigurable Processor", HPCC-ICESS 2012 1352-1359
  • Ling Li, Yunji Chen, Daofu Liu, Cheng Qian and Weiwu Hu, "An FFT Performance Model for Optimizing General-Purpose Processor Architecture", Journal of Computer Science and Technology, vol. 26, no. 5, 2011.
  • Yunji Chen, Tianshi Chen, Ling Li, Ruiyang Wu, Daofu Liu, and Weiwu Hu, "Deterministic Replay Using Global Clock", TACO10(1): 1 (2013)

  • Last updated 30/11/2011 by Sigma