I am currently a Ph.D Candidate in Nanjing University, China.

I major in Computer Science, mainly focusing on Distributed Computing Theory and Systems and Formal Methods.

Education and Work Experience


Creative Commons License Unless stated otherwise, all content created by me is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License unless otherwise stated.

This excludes attributed or externally linked material and things I have obviously not produced myself such as, for example, book covers. Rights for these things remain with their original owners.