Personal Info
My name is Zhiqiang Ren (任志强）. I am a Ph.D. student in Computer Science at Boston University.
My advisor is Prof. Hongwei Xi. I am currently working on Program Verification using ATS, a programming language with a highly expressive type system.
Contact Info
Email:
Office Location: PSY 234
Mailing Address: Computer Science Department,
Boston University
111 Cummington Street, Boston, MA 02215 |
|
|
Home |