Shizhuo Yu

November 6th, 2013

Education and training

Ph.D. candidate, Computer Science, UC Davis

Advisor: Prof. Bertram Ludäscher, Dept. of Computer Science, UC Davis
Research area: logic programming, answer set programming, provenance

B. S. Information System, Hong Kong Baptist University, Hong Kong

 

Skills Summary

Programming Languages: Python, Java, C/C++
Operating Systems: MS Windows, Linux, MacOS
Databases: PostgreSQL, MySQL

 

Research Interest

Answer set programming, and provenance-based logic reasoning

Euler:

  • logic-based taxonomy integration
  • Implemented a logic-based, provenance-aware system for merging scientific data under context and classification constraints.
Exploring Taxon Concepts (ETC.)
  • Exploring Taxon Concepts (ETC.) through analyzing fine-grained semantic markup of descriptive literature

Contact

szyu@ucdavis.edu