Personal Info
My name is Zhiqiang Ren (任志强). I am a Ph.D. student at Boston University in the Programming Language Group under the supervision of Prof. Hongwei Xi.

I am interested in development and verification of critical software systems in an effective and yet cost efficient manner. I am currently working on combining type checking and model checking in one programming language ATS for the construction of reliable concurrent programs.

I worked at Huawei Technologies Co., Ltd. Shanghai, China from 2006 to 2008. I earned my BE in Electronic Engineering (2003) and my ME in Communication and Information System (2006) from Shanghai Jiao Tong University in China.
Contact Info
Office Location: PSY 234
Mailing Address: Computer Science Department,
                 Boston University
                 111 Cummington Mall, Boston, MA 02215

Zhiqiang Ren,
Jan 19, 2015, 9:06 PM