Jia-Huai You
Professor, Ph.D. (1985, University of Utah)
Office: Athabasca Hall 3-54; email: you at cs.ualberta.ca; phone: (780) 492-5779
A picture of me

Research Areas: Constraints, Knowledge Representation and Reasoning, Logic Programming, Nonmonotonic Reasoning
> Research
* Knowledge Representation | Answer Set Programming | Constraint Programming
* Publications | Presentations | Scientific Community

> Current Courses
* Cmput 115 (Fall 2009): Programming with Data Structures
* Cmput 272 (Fall 2009): Formal Systems and Logic in Computing Science
* Cmput 325 (Winter 2010): Nonprocedural programming languages
* Marks Database (docsdb)
* Academic Calendar

> Some of the Past Courses
* Cmput 114 (Winter 2006): Introduction to Computing Science
* Cmput 366 (Fall 2005): Intelligent systems
* Cmput 621 (Winter 2009) Constraint Programming

> Additional Links
* Interests | Other links

[Department of Computing Science]
Computing Science 		[University of Alberta]
University of Alberta