this page may be out of date, to view the last update, please visit： http://novel.ict.ac.cn/dliu/

Daofu Liu

M.S. Student,Institute of Computing Technology,Chinese Academy of Sciences

Address:

Institute of Computing Technology No.6 Kexueyuan South Road Zhongguancun Haidian District Beijing,P.R.China 100190 86-10-62600851

Email:

iATsigma.me(If you are not a robot, you will know what does the "AT" mean)

About me

Currently, I'm an M.S. 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 atUniversity 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).

Education

M.S.Candidate Computer Architecture, Institute of Computing Technology 2010-Present
B.Eng. Computer Science, University of Science and Technology of China 2006-2010