Email:
Office:Building 115, Room B245 (map)
Mail:Research School of Computer Science
RSISE Building 115
The Australian National University
Canberra, ACT 0200
Australia
Phone:+61 (0)2 6125 4625
Fax:+61 (0)2 6125 0010
Home | Publications | Teaching | Projects | Professional Activities | About me

I completed my Ph.D. in Computer Science at Christian-Albrechts-University Kiel (Germany) in 2010. Before that, I obtained my Masters in Information Systems from Massey University (New Zealand) and Bachelor of Engineering from South China University of Technology (China).

My research lies in the intersection between databases, logic, and formal methods. I am interested in understanding theoretical aspects of database systems and exploring their potential in supporting practitioners. I am currently focusing on the following areas:

Teaching Activities

2013

... for more information, click here

Student Projects

I'm looking for students who are passionate about database research and the role that database technologies can play in addressing data challenges to join the following projects:
  1. Logical reasoning for data integration
  2. NoSQL database design - data model and query answering
  3. Querying over graph databases
  4. Database evolution and migration
  5. Discovering inconsistent data

... for more information click here

Recent Publications

2013
  1. Complete Conceptual Schema Algebras (with H. Ma, R. Noack, K.-D. Schewe and B. Thalheim).
    Fundamenta Informaticae, vol. 123, 1-26, 2013.
    (to appear)

2012
  1. Data Migration: A Theoretical Perspective (with B. Thalheim).
    Data and Knowledge Engineering, 2012 (in press).
    (PDF)
  2. Knowledge-Aware Identity Services (with K.-D. Schewe).
    Knowledge and Information Systems, 2012.
    (PDF)
  3. Preferential Refinements of Abstract State Machines for Service Mediators (with K.-D. Schewe).
    In Proceedings of the 12th International Conference on Quality Software, 2012.
    (PDF)
  4. A Simplified Parallel ASM Thesis (with K.-D. Schewe).
    In Proceedings of the 3rd International Conference on Abstract State Machines, B and Z, 2012.
    (PDF)
  5. A Formal Model for the Interoperability of Service Clouds (with H. Ma, K.-D. Schewe and B. Thalheim).
    Service Oriented Computing and Applications, 2012.
    (PDF)
  6. On the Decidability and Complexity of Identity Knowledge Representation (with K.-D. Schewe).
    In Proceedings of the 17th International Conference on Database Systems for Advanced Applications, LNCS, vol. 7238, pp. 288-302, Springer, 2012.
    (PDF)
  7. Abstract State Machines for Data-Parallel Computing.
    In Conceptual Modelling and Its Theoretical Foundations. A. Dusterhoft et al. (Eds.), LNCS, vol. 7260, pp. 136-150, Springer, 2012.
    (PDF)
  8. A Conceptual Justification for Model Transformations (with O. Sörensen and B. Thalheim).
    In Proceedings of the 8th Asia-Pacific Conference on Conceptual Modelling, CRPIT, vol. 130, pp. 43-50, 2012.
    (PDF)
  9. Synchronous Parallel Database Transformations (with K.-D. Schewe).
    In Proceedings of the 7th International Symposium on Foundations of Information and Knowledge Systems: LNCS, vol. 7153, pp. 371-384, Springer, 2012.
    (PDF)

... for a full list of publications click here