"Dr. Lintao Zhang is currently the Chief Scientist of ParityBit, a fast-growing company focusing on privacy and secure computing technologies. Before joining ParityBit, Dr. Zhang was a Partner Research Manager of Microsoft Research Asia. Dr. Zhang has worked on a broad range of research topics, including security and privacy, cloud infrastructure, distributed systems, hardware acceleration, formal verification, and AI and deep neural networks. Dr. Zhang has published over fifty papers in top conferences and have won many awards for his research, including best paper awards in OSDI and DATE, Most Cited Paper in 50 Years of DAC History, ICCAD Ten Year Retrospective Most Influential Paper Award, a CAV Award, and an IEEE A. Richard Newton Technical Impact Award. Dr. Zhang is an IEEE Fellow and an ACM Distinguished Member. He earned his B.S. from Peking University, and his Ph.D. from Princeton"