Name:Haoxiang Lin

Bio:

Haoxiang Lin is a Principal Researcher of the Systems and Networking Research Group, Microsoft Research Asia.

Country:China

Affiliation:Microsoft Research

Research interests:Operating Systems, Model Checking, Concurrent Programming, Program Analysis