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.