Education
PhD Candidate, Department of Computer
Science, University of
Rochester
September
2006 - Present
Advisor: Prof. Len Schubert
(2006) MSc Computing Science,
Courses:
Knowledge Representation and Reasoning, Computability and Logic, Formal
Verification, Inductive Logic Programming, Computational Complexity
Thesis:
A Consistency-Based System for Knowledge Base Merging
Committee: Prof. Jim Delgrande (advisor), Prof. Torsten
Schaub (co-advisor), Prof.
Oliver Schulte (examiner)
(2005) BSc Honours Computing Science, Simon Fraser University
Rank in Graduating Class: 2nd out of 130
CS
Courses: Operating Systems, Compiler Design, Network, Artificial Intelligence,
Database Systems, User Interface Design, Algorithms, Complexity, Programming
Languages Design, Software Engineering, Information System Design
Copyright
© 2007 Daphne Hao Liu. All rights reserved.