Changhui Lin's Home
Menu:
Home
Education
Research
Courses
Misc
Gap:
 
  Links:
UC Riverside
CSE Department
UCR Library
CS Webmail
Moodle
Class Schedule
GROWL
Education
Ph.D.
in Computer Science
Department of Computer Science and Engineering
University of California, Riverside
, CA, USA
Sept., 2008 - Aug. 2013
Dissertation:
Imposing Minimal Memory Ordering on Multiprocessors
Advisor:
Dr. Rajiv Gupta
M.S.
in Applied Mathematics
School of Mathematical Sciences
at
Peking University
in Beijing, P.R. China
Sept., 2005 - July, 2008
Thesis:
Checking the confinement property of Object-Oriented languages by model checking
Advisor:
Prof. Qiu Zongyan
B.S.
in Applied Mathematics
School of Mathematical Sciences
at
Xiamen University
in Xiamen, P.R. China
Sept., 2001 - July, 2005