Alan Mishchenko

Alan has been a Research Scientist at UC Berkeley since 2002. He specializes in building fast and scalable tools for design automation, and developing computationally efficient methods for logic synthesis and formal verification.

Associated ICOs

Project Role

Other people

Name Description ICO Social
Junda received his Ph.D. from UC Berkeley. He joined Google in 2011 to build its datacenter networking infrastructure, and then was founding member of Project Fi mobile service since 2014. He was also the Android Tech Lead for carrier services, which run on more than 1.5 billion devices.
Xiaozhou received his Ph.D. from Princeton University. His works have been published at premier venues in distributed systems, networking, storage, and data management, and have become core components of Google TensorFlow, Intel DPDK, and Barefoot Deep Insight.
Qingkai received his Ph.D. from MIT. His research focuses on various learning and control problems that arise in networked systems, especially on online learning algorithms in adversarial networks, which have been successfully applied in Raytheon BBN Technologies and Bell Labs.
Christos is a Professor of Electrical Engineering and Computer Science at Stanford University, a fellow of the ACM and the IEEE. He is broadly interested in secure and energy-efficient distributed systems
Shoucheng is a Professor of Physics at Stanford University, a fellow of the American Academy of Arts and Sciences and the US National Academy of Science. He founded Danhua Capital in 2013 and serves as the Chairman.