Portrait of Haoxiang Lin

Haoxiang Lin

Lead Researcher

About

Haoxiang Lin received his M.S. degree in Computer Science from Tsinghua University in 2006, and B.S. degree in Computer Science from Wuhan University in 2001. In 2006 he joined Microsoft Research Asia, and is a member of System Research Group now.

Research Interests:

Operating System
Program Analysis
Model Checking
Concurrent Programming

Projects

Publications

Downloads