Research and Work Experience
Independent Research Project, CMPT 880: Formal Verification, Computing
Science, Simon Fraser University
[03/2005 - 04/2005]
Supervisor: Prof. Eugenia Ternovska
- Conducted experiments for model checking abstract state machines (ASMs) with
answer set programming
- Modeled variants of the alternating bit network protocol in ASMs
and formulated correctness properties in temporal logic; manually
translated the ASMs and properties into logic programs
- Compared the answer set solutions to the logic programs with the
model checking output on the corresponding symbolic model verifier code
Research Assistant, Computing Science, Simon Fraser
University [05/2004 -
12/2004]
Supervisor: Prof. Jim Delgrande
- Implemented a belief change system for belief revision,
contraction, and merging
- Designed and performed experiments to evaluate the system against
a comparable solver
- Co-wrote the user manual and maintained the
Web page
Software Developer, Strydent Software, Vancouver, Canada
[01/2002 - 08/2002]
- Helped design, develop, and debug versions 1.0 and 1.1 of the
commercial software InkSaver
- Co-wrote the coding conventions guide for the research and
development department
- Performed quality assurance and testing
Copyright
© 2007 Daphne Hao Liu. All rights reserved.