Trustworthy policies for distributed repositories, 2017, via WWW, Nov. 16, 2016: PDF title page (Hao Xu; DataNet Federation Consortium, University of North Carolina at Chapel Hill) p. 131 (a research scientist at the Data Intensive Cyber Environment Center, University of North Carolina at Chapel Hill (UNC-CH); research interests include the theory of data management, automatic theorem proving, programming languages, distributed data systems, and formal methods in software development; B.E. in Computer Science and Engineering and a B.S. minor in Applied Mathematics from Beihang University, and a Ph.D in Compuer Science from UNC-CH)