Jia-Huai You, PhD

Professor, Faculty of Science - Computing Science

Contact

Professor, Faculty of Science - Computing Science
Email
jyou@ualberta.ca

Overview

About

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.

Courses

CMPUT 204 - Algorithms I

The first of two courses on algorithm design and analysis, with emphasis on fundamentals of searching, sorting, and graph algorithms. Examples include divide and conquer, dynamic programming, greedy methods, backtracking, and local search methods, together with analysis techniques to estimate program efficiency. Prerequisites: CMPUT 175 or 275 and CMPUT 272; one of MATH 100, 113, 114, 117, 134, 144, 154, or SCI 100.


CMPUT 325 - Non-Procedural Programming Languages

A study of the theory, run-time structure, and implementation of selected non-procedural programming languages. Languages will be selected from the domains of functional, and logic-based languages. Prerequisites: CMPUT 201 and 204 or 275; one of CMPUT 229, E E 380 or ECE 212, and MATH 125.


Browse more courses taught by Jia-Huai You