Home

Education

Publications

Research / Work

Teaching

Awards

About Me

 

Education

 

PhD Candidate, Department of Computer Science, University of Rochester

  September 2006 - Present

  Advisor: Prof. Len Schubert

 

(2006) MSc Computing Science, Simon Fraser University

  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.