Contact the Faculty of Science

you

Jia You, PhD

Professor & Associate Chair (Graduate)

Science

Computing Science

About Me

Education

  • Undergraduate Degree, Electrical Engineering, Guizhou University (China), 1975
  • Ph.D., Computer Science, University of Utah, 1985

Positions

  • Department Associate Chair (Graduate)


Research

Area

Artificial Intelligence

Summary

A computational problem can be solved by designing and implementing an algorithm for it, or by expressing it by a computer program in an intuitive modelling language that comes with software for processing programs written in the language. The latter is an example of what is called declarative problem solving and knowledge representation. I am interested in all aspects of declarative problem solving and paradigms, such as answer set programming, constraint programming, SMT solving, data access with ontology and rules, etc. My research typically focuses on semantic issues, computational properties, implementation strategies, and applications.