Countdown

    96days since
    01/15/2014

    Meet Your TA

    Home



    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

     
    Comments