Mt. Whitney, Aug, 2015
I am currently a Ph.D. candidate in Computer Engineering from the Department of Electrical Engineering and Computer Science at the University of California, Irvine, starting from Fall 2012. I am working with my advisor, Professor Brian Demsky, in the Programming Language Research Group.
I mainly focus on building reliable concurrent software and systems, including static/dynamic analysis and tool support. More specifically, I am actively involved in the verification and testing of concurrent data structures under relaxed memory models.