Education
PhD Student, Department of Computer
Science, University of
Rochester
September
2006 - Present
Advisor: Prof. Len Schubert
(2008) MSc Computer Science,
Courses: Statistical Speech and Language Processing, Semantics, Machine
Learning, Compiler Optimization, Complexity, Operating Systems, Algorithms,
Advanced Systems Seminar
(2006) MSc Computing Science,
Thesis:
A Consistency-Based System for Knowledge Base Merging
Courses:
Knowledge Representation and Reasoning, Computability and Logic, Formal
Verification, Inductive Logic Programming, Computational Complexity
Committee: Prof. Jim Delgrande (advisor), Prof. Torsten
Schaub (co-advisor), Prof.
Oliver Schulte (examiner)
(2005) BSc Honors 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 © 2008 Daphne Hao Liu. All rights reserved.