Registered user since Tue 17 Feb 2015

Name: Zhong Shao

Country: China

Affiliation: Yale University

Personal website: http://www.cs.yale.edu/homes/shao/

Research interests: Programming languages, formal methods, operating systems, and computer security

POPL 2016 Activities

• ERC member in External Reviewing Committee for POPL 2016 Research Papers
• ERC member in External Reviewing Committee for POPL 2016
• Show activities from other conferences