Portrait of Lintao Zhang

Lintao Zhang

Principal Researcher


I am a researcher in the Systems Research Group of MSR-Asia in Beijing. Before joining MSR-A in late 2008, I  was a researcher in Microsoft Research Silicon Valley. In the past I have worked on a diverse set of exciting projects, including verification and logic, internet security, distributed storage systems, computer architecture and reconfigurable computing. My most recent interest is system issues in very large-scale, distributed systems. I was an architect for Bing’s new index serving engine, which went live recently.



Before joining Microsoft Research, I was a graduate student at Princeton University. My Ph.D. thesis can be downloaded here.

I prepared some material on SAT solving for a 3-day mini PhD course in IT-U of Copenhagen. If you want to learn about SAT solving, this should be a good starting point.