Lintao Zhang
Microsoft Research, China
Biography:

Dr. Lintao Zhang has worked as a researcher in Microsoft Research for over six years, previously at the Silicon Valley Lab, and now at the Asia Lab in Beijing. Lintao has worked on a variety of research topics, including hardware and computer architecture, distributed systems, security, and formal verification. Dr. Zhang has received multiple recognitions for his research work, including the Computer Aided Verification (CAV) Award for his contribution to formal verification, IEEE SIGDA Best Thesis Award for his PhD thesis work, and several best paper awards in top conferences. In his spare time, he also acts as the lead guitarist for MSR-Asia's in-house rock band. Dr. Zhang earned his Ph.D. from Princeton University, and his B.S. degree from Peking University.


Copyright © 2009 CISENG. All rights reserved.
Microsoft Internet Explorer is recommended if the page is not displayed properly !