Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Lintao Zhang

Lintao Zhang

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.