Hao Xu

Hao Xu is a research scientist at the Data Intensive Cyber Environment Center, University of North Carolina at Chapel Hill. He has been working on improving the rule engine and the rule language, and the metadata catalog of the integrated Rule-Oriented Data System (iRODS) since 2010. He developed pluggable rule engine architecture that allows interoperability between different programming languages and the iRODS data management systems. He also developed QueryArrow, a semantically unified query...See more

Hao Xu is a research scientist at the Data Intensive Cyber Environment Center, University of North Carolina at Chapel Hill. He has been working on improving the rule engine and the rule language, and the metadata catalog of the integrated Rule-Oriented Data System (iRODS) since 2010. He developed pluggable rule engine architecture that allows interoperability between different programming languages and the iRODS data management systems. He also developed QueryArrow, a semantically unified query and update system that allows bidirectional integration of metadata from multiple heterogeneous data stores. His research interests include theory of data management, automatic theorem proving, programming languages, distributed data systems, and formal methods in software development. He has a B.E. in computer science and engineering and a B.S. minor in applied mathematics from Beihang University and a Ph.D. in computer science from University of North Carolina at Chapel Hill. See less