Dr. Chao Wang received B.S. and Ph.D. degrees from School of Computer Science, University of Science and Technology of China, in 2006 and 2011 respectively. He has been a postdoctoral researcher in USTC from 2011 to 2013. He visited Professor Yuan Xie’s research group in University of California, Santa Barbara from 2015 to 2016. He also worked with Infineon Technologies A.G. in 2007-2008. He is the Associate Editor of ACM Transactions on Design Automations for Electronics Systems (TODAES), IEEE/ACM Transactions on Computational Biology and Bioinformatics, Microprocessors and Microsystems, IET Computers & Digital Techniques, and International Journal of Electronics. Dr. Chao Wang was the recipient of Youth Innovation Promotion Association, CAS, ACM China Rising Star Honorable Mention (2016), and best IP nomination of DATE 2015, Best Paper Candidate of CODES+ISSS 2018. He is now in the CCF Technical Committee on Computer Architecture, CCF Task Force on Formal methods. He is a Senior Member of ACM, Senior Member of IEEE, and Senior Member of CCF.
Associate Editor of IEEE/ACM Transactions on Computational Biology and Bioinformatics (2019- ).
Best Paper Candidate of CODES+ISSS 2018 (Paper Link: MALOC)