Home

Education

Publications

Research / Work

Teaching

Awards

About Me

 

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.