Research Interests

I am intersted in programming languages, concurrency, databases and software verification. Specifically, I am interested in formal description of distributed systems and the study on algorithms for testing/verifying correctness of such systems.

Publications

.